@inproceedings{BBB+12d,
title = {Rigorous Component-Based System Design - (Invited Paper) },
author = {Basu, Ananda and Bensalem, Saddek and Bozga, Marius and Sifakis, Joseph},
year = {2012},
booktitle = {Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers},
pages = {1-9},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7571},
team = {DCS, RSD},
}