@article{FJN+5,
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},
year = {2015},
journal = {Software and System Modeling},
number = {1},
pages = {173--199},
volume = {14},
team = {RSD},
}
