没有找到引用Verification of PLC programs given as sequential function charts的文章。