1. Baier, C. and Katoen, J.P. (2008). Principles of Model Checking. MIT Press, Boston.
2. Supervisory control of a rapid thermal multiprocessor;Balemi;IEEE Transactions on Automatic Control,1993
3. Biallas, S., Kowalewski, S., and Schlich, B. (2011). Efficient verification of industrial PLC-programs using model checking and static analysis. In Automation 2011, Baden-Baden, Germany, number 2143 in VDI-Berichte, 67–72. VDI-Verlag, Düsseldorf.
4. Cassandras, C.G. and S. Lafortune (2008). Introduction to Discrete Event Systems - Second Edition. Springer.
5. Hietter, Y., Roussel, J.M., and Lesage, J.J. (2008). Algebraic synthesis of dependable logic controllers. In Proceedings of 17th IFAC World Congress, 2008, 4132-4137. Seoul, South Korea.