Samah Hassan, Mohamed Taher, Ayman M. Wahba. Mapping SMV models to event-B models. In Yervant Zorian, Imtinan Elahi, André Ivanov, Ashraf Salem, editors, 5th International Design and Test Workshop, IDT 2010, Abu Dhabi, UAE, 14-15 December 2010. pages 161-166, IEEE, 2010. [doi]
Abstract is missing.