An Integrated Specification Framework for Embedded Systems.

Marius C. Bujorianu, Manuela-Luminita Bujorianu

Browse the full SEFM paper archive.