Using Operational Architecture to Model Embedded Software.

Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae

Browse the full APSEC paper archive.