From high-level component-based models to distributed implementations.

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis

Browse the full EMSOFT paper archive.