1. A. Mader, A classification of PLC models and applications, in: Proceedings of the 5th International Workshop on Discrete Event Systems (WODES 2000), Ghent, Belgium, 2000.
2. U.S. Nuclear Regulatory Commission (U.S. NRC), Software Unit Testing for Digital Computer Software Used in Safety Systems of Nuclear Power Plants, Regulatory Guide 1.171, 1997.
3. J. Yoo, S. Park, H. Bang, T. Kim, S. Cha, Direct control flow testing on function block diagrams, in: The 6th International Conference on Nuclear Thermal Hydraulics, Operations and Safety (NUTHOS-6), Nara, Japan, 2004, pp. 1–10.
4. L. Baresi, M. Mauri, A. Monti, M. Pezze, PLCTOOLS: design, formal validation, and code generation for programmable controllers, in: 2000 IEEE International Conference on Systems, Man, and Cybernetics, vol. 2434, 2000, pp. 2437–2442.
5. Evaluation of Structural Testing Effectiveness in Industrial Model-driven Software Development;Sarabi,2012