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