Cite
MLA Citation
Andreea Buga et al.. “An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study.” Computer languages, systems & structures, vol. 54, 2018, pp. 297–315. http://access.bl.uk/ark:/81055/vdc_100073671296.0x000013