Interactive and targeted runtime verification using a debugger-based architecture. - Paul Naert; Seyed Vahid Azhari; Michel R. Dagenais (J. Syst. Archit., 2021)