Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance.

Candida Attanasio, Flavio Corradini, Paola Inverardi

Browse the full FASE paper archive.