Architectural Abstractions for Real-Time Software.

Flavio De Paoli, Francesco Tisato

Browse the full APSEC paper archive.