@inproceedings{FJN+11,
title = {Runtime Verification of Component-Based Systems },
author = {Falcone, Ylies and Jaber, Mohamad and Nguyen, Thanh-Hung and Bozga, Marius and Bensalem, Saddek},
year = {2011},
booktitle = {Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
pages = {204-220},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7041},
team = {DCS, RSD},
}
