Rigorous modeling and analysis of interoperable medical devices. - Mashkoor, Atif; Sametinger, Johannes (2016)