Brezovan, M. et al. 2016. Expressing GMoDS Models into Object-Oriented Models Using the Event-B Language. Informatica. 40, 1 (Mar. 2016).