@inproceedings{BBB+11g,
title = {Rigorous System Design: The BIP Approach },
author = {Basu, Ananda and Bensalem, Saddek and Bozga, Marius and Bourgos, Paraskevas and Sifakis, Joseph},
year = {2011},
booktitle = {Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers},
pages = {1-19},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7119},
team = {DCS, RSD},
}
