Formal Modeling and Analysis of Medical Systems. - Mahsa Zarneshan; Fatemeh Ghassemi; Marjan Sirjani (COORDINATION, 2020)

Specification and Verification of Timing Properties in Interoperable Medical Systems. - Mahsa Zarneshan; Fatemeh Ghassemi; Ehsan Khamespanah; Marjan Sirjani; John Hatcliff (Log. Methods Comput. Sci., 2022)