Translating AADL into BIP - Application to the Verification of Real-Time Systems.

Mohamed Yassin Chkouri, Anne Robert, Marius Bozga, Joseph Sifakis

Browse the full MODELS paper archive.