7SEO R K, POONG H S. Software design specification and analysis technique (SDSAT) for the development of safety-critical systems based on a programmable logic eontroller(PLC)[J]. Reliability Engineering & System Safety, 2006, 91(6):648-664.
8ZHANG X, NORRIE D H, BRENNAN R W, et al. A multi-level reconfiguration control for holonie PLC[C]//Proceedings of IEEE International Conference on Systems, Man and Cybernetics(SMC2000). Washington, D. C., USA:IEEE, 2000:1762-1767.
9SIMMONS D B, ELLIS N C, FUJJHARA H, KUO W, et al. Software measurement, a visualization toolkit for project control & process improvement[M]. Upper Saddle River, N. J. , USA: Prentice Hall, 1998.
10SUH N P. The principles of design[M]. New York, N. Y. , USA: Oxford University Press Inc. , 1990.