A Conceptual Model for Systems Engineering and Its Formal Foundation. - Andreea Buga; Sorana Tania Nemes; Klaus-Dieter Schewe; Pornpan Songprasop (EJC, 2017)

Conceptual Modelling of Hybrid Systems - Structure and Behaviour. - Andreea Buga; Atif Mashkoor; Sorana Tania Nemes; Klaus-Dieter Schewe; Pornpan Songprasop (MEDI, 2017)

An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study. - Andreea Buga; Atif Mashkoor; Sorana Tania Nemes; Klaus-Dieter Schewe; Pornpan Songprasop (Comput. Lang. Syst. Struct., 2018)