Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance. - Candida Attanasio; Flavio Corradini; Paola Inverardi (FASE, 1999)

Static analysis of real-time component-based systems configurations. - Candida Attanasio; Flavio Corradini; Paola Inverardi (Sci. Comput. Program., 2003)