1. Butler, M., Abrial, J.R, Banach, R.: Modelling and refining hybrid systems in Event-B and Rodin, chap. 3, pp. 29–42 (2016)
2. Abrial, J.-R.: Modeling in Event-B: System and Software Design. Cambridge University Press, Cambridge (2008). 586 p.
3. Hoang, T.S., Kuruma, H., Basin, D., Abrial, J.-R.: Developing topology discovery in Event-B (2009). 19 p.
4. Ruohonen, K.: Graph Theory. Translation by Janne Tamminen, Kung-Chung Lee and Robert Piché (2013). 110 p.
5. Peterson, J.L.: Petri Nets. Department of Computer Sciences, The University of Texas, Austin, Texas 78712 (1977)