@article{BBB+11e,
title = {Rigorous Component-Based System Design Using the BIP Framework },
author = {Basu, Ananda and Bensalem, Saddek and Bozga, Marius and Combaz, Jacques and Jaber, Mohamad and Nguyen, Thanh-Hung and Sifakis, Joseph},
year = {2011},
journal = {IEEE Software},
number = {3},
pages = {41-48},
volume = {28},
team = {DCS, RSD},
}