"Temporal Model-Based Diagnostics Generation for HVAC Control Systems."

Marion Behrens, Gregory M. Provan (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics