4 papers:
DUXU-WM-2013-SpinilloS #comprehension #usability- Beyond Comprehension: A Usability Study on User Instruction Manual for Stove with Steam Function (CGS, KCASS), pp. 441–449.
FASE-1999-AttanasioCI #performance #realtime #specification- Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance (CA, FC, PI), pp. 45–59.
KR-1996-Kelley #calculus #case study #modelling #problem #using- Modeling Complex Systems in the Situation Calculus: A Case Study Using the Dagstuhl Steam Boiler Problem (TGK), pp. 26–37.
ICSE-1992-Leveson- High-Pressure Steam Engines and Computer Software (NGL), pp. 2–14.
