Rigorous Component-Based System Design using the BIP Framework

Saddek Bensalem, Ananda Basu, Marius Bozga, Paraskevas Bourgos and Joseph Sifakis.
Invited presentation at the 5th Annual Layered Assurance Workshop, Orlando, Florida.