1. Alur R, Henzinger T, Ho PH (1996) Automatic symbolic verification of embedded systems. IEEE Trans Softw Eng 22(3):181–201
2. Lecture notes in computer science;T Ball,2000
3. Lecture notes in computer science;A Biere,1999
4. Blanke M, Staroswiecki M, Wu NE (2001) Concepts and methods in fault-tolerant control. In: Proc. of the American control conference
5. Bordini R, Fisher M, Visser W, Wooldridge M (2004a) State-space reduction techniques in agent verification. In: Proc of the third international joint conference on autonomous agents and multiagent systems, pp 896–903