1. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
2. de Roever, W.P., de Boer, F., Hanneman, U., Hooman, J., Lakhnech, Y., Poel, M., Zwiers, J.: Concurrency Verification: Introduction to Compositional and Non-compositional Methods. Cambridge University Press, Cambridge (2001)
3. Emadi, A., Ehsani, M.: Aircraft power systems: technology, state of the art, and future trends. Aerosp. Electron. Syst. Mag. 15(1), 28–32 (2000)
4. Francis, R.: An implementation of a compositional approach for verifying generalized nonblocking. The University of Waikato, Department of Computer Science, Hamilton, NZ, Technical report (2011)
5. Hinchey, M., Rash, J., Truszkowski, W., Rouff, C., Sterritt, R.: You can’t get there from here! Problems and potential solutions in developing new classes of complex computer systems. In: Conquering Complexity. Springer, Heidelberg (2012)