@article{FJN+3,
title = {Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation },
author = {Falcone, Ylies and Jaber, Mohamad and Nguyen, Thanh-Hung and Bozga, Marius and Bensalem, Saddek},
month = {April},
year = {2013},
journal = {Software \& Systems Modeling},
team = {DCS, RSD},
}