L.: Runtime Verification of Safety-Progress Properties (2009)

by Y Falcone, J C Fernandez, Mounier
Venue:In: the 9th Int. Workshop on Runtime Verification