1. Graf, S. and Saidi, H., Construction of abstract state graphs with PVS, in CAV’97, vol. 1254 of LNCS, Springer, 1997, pp. 72–83.
2. Godefroid, P. and Jagadeesan, R., On the expressiveness of 3-valued models, in VMCAI’O3, vol. 2575 of LNCS, Springer, 2003, pp. 206–222.
3. Abrial, J.-R., Modeling in Event-B: System and Software Design, Cambridge Univ. Press, 2010.
4. Dijkstra, E.W., Guarded commands, nondeterminacy, and formal derivation of programs, Commun. ACM, 1975, vol. 18, no. 8, pp. 453–457.
5. Dijkstra, E.W., A Discipline of Programming, Prentice-Hall, 1976.