1. Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). The MIT Press, Cambridge (2008)
2. Lecture Notes in Computer Science;K Bhargavan,1998
3. Lecture Notes in Computer Science;J Cabot,2012
4. Gallardo, M., Panizo, L.: Modelling and specifying software system with alloy (tutorial). In: Accepted to be presented in the Spanish Workshop on Programming Languages PROLE 2019 (Sistedes) (2019)
5. Gogolla, M., Büttner, F., Richters, M.: USE: a UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69(1–3), 27–34 (2007)