Alexei Iliasov, Alexander Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala. Augmenting Event-B modelling with real-time verification. In Stefania Gnesi, Stefan Gruner, Nico Plat, Bernhard Rumpe, editors, Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012. pages 51-57, IEEE, 2012. [doi]
Abstract is missing.