@inproceedings{BBS06,
title = {Modeling Heterogeneous Real-time Components in BIP },
author = {Basu, Ananda and Bozga, Marius and Sifakis, Joseph},
year = {2006},
booktitle = {Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India},
pages = {3-12},
publisher = {IEEE Computer Society},
team = {DCS, RSD},
}
