Medicine-by-wire: Practical considerations on formal techniques for dependable medical systems. - Leo Freitas; William E. Scott III; Patrick Degenaar (Sci. Comput. Program., 2020)

Digital Twins for Organ Preservation Devices. - Aaron John Buhagiar; Leo Freitas; William E. Scott III; Peter Gorm Larsen (ISoLA (4), 2022)

SmartAudits: Applying Timebands to a Medical Device. - Leo Freitas; Aaron John Buhagiar; William E. Scott III (The Practice of Formal Methods (I), 2024)