Ananda Basu Marius Bozga Joseph Sifakis Modeling Heterogeneous Real-time Components in BIP. 3-12 2006 conf/sefm/2006 SEFM http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.27 db/conf/sefm/sefm2006.html#BasuBS06