Component-Based Construction of Real-Time Systems in BIP.

Joseph Sifakis

Browse the full CAV paper archive.