1. Advances in safety-critical systems;Falla,1997
2. Safer C: developing software for high-integrity and safety-critical systems;Hatton,1994
3. Avionics certification: a complete guide to DO-178 (software), DO-254 (hardware);Hilderman,2007
4. Pont M J, Parikh C R. Li Y, et al. The design of embedded systems using software patterns. Proceedings of Condition Monitoring, 1999; 221-236.
5. Drumea A, Popescu C. Finite state machine and their application in software for industry control. 27th International Spring Seminar on Electronics Technology, 2004; 1: 25-29.