Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop. An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study. Computer Languages, Systems \& Structures, 54:297-315, 2018. [doi]
Abstract is missing.