1. Abrial, J.-R.: The B book - Assigning Programs to meanings. Cambridge Univ. Press, Cambridge (1996)
2. Lecture Notes in Computer Science;G. Berthelot,1987
3. Billington, J., Gallasch, G.E., Petrucci, L.: Verification of the class of stop-and-wait protocols modelled by coloured Petri nets. Nord. J. Comput. 12(3), 251–274 (2005)
4. Bonnefoi, F., Bellotti, F., Scendzielorz, T., Visintainer, F.: SAFESPOT Applications for Infrasructure-based Co-operative Road Safety. In: 14th World Congress and Exhibition on Intelligent Transport Systems and Services (2007)
5. Bonnefoi, F., Hillah, L., Kordon, F., Renault, X.: Design, modeling and analysis of ITS using UML and Petri Nets. In: 10th International IEEE Conference on Intelligent Transportation Systems (ITSC 2007), pp. 314–319. IEEE Press, Los Alamitos (2007)