1. Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). The MIT Press (2008)
2. de Vries, R.G., Tretmans, J.: Towards formal test purposes. In: Tretmans, J., Brinksma, H. (eds.) Formal Approaches to Testing of Software 2001 (FATES 2001). BRICS Notes Series, vol. NS-01-4, Aarhus, Denkmark, pp. 61–76, August 2001.
http://doc.utwente.nl/66272/
3. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering, ICSE 1999, pp. 411–420. ACM, New York (1999)
4. Lecture Notes in Computer Science;Y Falcone,2010
5. Hanazumi, S., de Melo, A.C.V.: On the Testability of Properties Patterns, (Manuscript submitted for publication)