A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis.

Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis

Browse the full SEFM paper archive.