Modeling Heterogeneous Real-time Components in BIP.

Ananda Basu, Marius Bozga, Joseph Sifakis

Browse the full SEFM paper archive.