1. Derler, P., Lee, E.A.: FuelSystem2Tanks (2012),
http://ptolemy.eecs.berkeley.edu/ptolemyII/ptII8.1/jnlp-modelingCPS/ptolemy/demo/FuelSystem/FuelSystem2Tanks.htm
2. Fan, C., Tsai, S., Tseng, W.: Development of safety analysis and constraint detection techniques for process interaction errors. Annals of Nuclear Energy 38, 547–557 (2011)
3. Heitmeyer, C., et al.: Automated Consistency Checking of Requirements Specifications. ACM Transaction on Software Engineering and Methodology 5(3), 231–261 (1996)
4. Hayhurst, K., Veerhusen, D., et al.: A Practical Tutorial on Modified Condition/Decision Coverage. NASA / TM-2001-210876 (2001)
5. Huang, H.: Study of Nuclear Power Plant Safety Effect by Interactions between Operator and Digital Instrumentation and Control System. Ph.D. dissertation, ESS Dept., National Tsing Hua University, Taiwan (2007)