Improving Trace Generation and Analysis for Medical Devices. - Yoann Blein; Arnaud Clere; Fabrice Bertrand; Yves Ledru; Roland Groz; Lydie du Bousquet (QRS Companion, 2017)

Requirements for a Trace Property Language for Medical Devices. - Yves Ledru; Yoann Blein; Lydie du Bousquet; Roland Groz; Arnaud Clere; Fabrice Bertrand (SEHS@ICSE, 2018)