1. Jean-Raymond Abrial . 2010. Modeling in Event-B: system and software engineering ( 1 st ed.). Cambridge University Press , New York, NY, USA . Jean-Raymond Abrial. 2010. Modeling in Event-B: system and software engineering (1st ed.). Cambridge University Press, New York, NY, USA.
2. A survey on modeling and model-driven engineering practices in the embedded software industry
3. Eman H. Alkhammash , Michael J. Butler , and Corina Cristea . 2017 . International conference on communication, management and information technology. CRC press, Chapter Modeling guidelines of FreeRTOS in Event-B, 453--462 . Eman H. Alkhammash, Michael J. Butler, and Corina Cristea. 2017. International conference on communication, management and information technology. CRC press, Chapter Modeling guidelines of FreeRTOS in Event-B, 453--462.
4. Davide Basile , Maurice H. ter Beek , Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, and Alessio Ferrari. 2018 . On the Industrial Uptake of Formal Methods in the Railway Domain. In Integrated Formal Methods, Carlo A. Furia and Kirsten Winter (Eds.). Springer International Publishing , Cham, 20--29. Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, and Alessio Ferrari. 2018. On the Industrial Uptake of Formal Methods in the Railway Domain. In Integrated Formal Methods, Carlo A. Furia and Kirsten Winter (Eds.). Springer International Publishing, Cham, 20--29.