@inproceedings{FFM09a,
title = {Runtime Verification of Safety Progress Properties },
author = {Falcone, Ylies and Fernandez, Jean-Claude and Mounier, Laurent},
month = {June},
year = {2009},
booktitle = {Runtime Verification 2009},
address = {Grenoble, France},
series = {Lecture Notes in Computer Science},
team = {DCS,PACSS},
}
