Keywords: Embedded systems; efficient code generation; model-driven development
Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Zurich; Switzerland; September 5; 2011
 AC Antoulas; DC Sorensen; and S. Gugercin. A surveyof model reduction methods for large-scale systems. In Structured matrices in mathematics; computer science; andengineering; volume 280; page 193. Amer. Mathematical Society; 2001.
 M. Behrens and G. Provan. Temporal model-based diagnostics generation for hvac control systems. Proc. Itnl.Conf. on Theory and Practice of Model Transformations (ICMT); pages 31–44; 2010.
 M. Behrens; G. Provan; M. Boubekeur; and A. Mady. Model-driven diagnostics generation for industrial automation. In 7th IEEE International Conference on Industrial Informatics (INDIN); pages 708–714. IEEE; 2009.
 DR Clark; CW Hurley; and CR Hill. Dynamic modelsfor HVAC system components. ASHRAE transactions; 91(1):737–751; 1985.
 D.B. Crawley; J.W. Hand; M. Kummert; and B.T. Griffith.Contrasting the capabilities of building energy performancemsimulation programs. Building and Environment; 43(4):661–673; 2008.
 K. Czarnecki and S. Helsen. Feature-based survey of model transformation approaches. IBM Systems Journal; 45(3):621–645; 2006.
 B. Denckla and P.J. Mosterman. Formalizing causal blockdiagrams for modeling a class of hybrid dynamic systems. In Decision and Control; 2005 and 2005 European Control Conference. CDC-ECC’05. 44th IEEE Conference on; pages 4193–4198. IEEE; 2005.
 H. Elmqvist; M. Otter; D. Henriksson; B. Thiele; and S.E.Mattsson. Modelica for embedded systems. In Proceedings of the 7th International Modelica Conference; pages 354– 363. Linköping University Electronic Press; 2009.
 A. Feldman; J. Pietersma; and A. van Gemund. All roadslead to fault diagnosis: Model-based reasoning with lydia. Proc. BNAICŠ06; 2006.
 J.A. Fox. An introduction to engineering fluid mechanics. McGraw-Hill; 1974.
 P. Fritzson; A. Pop; and M. Sjölund. Towards modelica 4 meta-programming and language modeling with metamodelica 2.0. Technical Report Computer and Information Science; ISSN 1654-7233; 2011.
 P.A. Fritzson. Principles of object-oriented modeling and simulation with Modelica 2.1. Wiley-IEEE Press; 2004.
 Z. Hemel; L. Kats; and E. Visser. Code generation bymodel transformation. Theory and Practice of Model Transformations; pages 183–198; 2008.
 T.A. Henzinger. The theory of hybrid automata. In Logic in Computer Science; 1996. LICS’96. Proceedings.; Eleventh Annual IEEE Symposium on; pages 278–292. IEEE; 1996.
 J. Larsson and P. Fritzson. A modelica-based format forflexible code generation and causal model transformation. In 5th International Modelica Conference; 2006. Vienna: Arsenal; 2006.
 A. Mady; M. Boubekeur; and G. Provan. Compositionalmodel-driven design of embedded code for energy-efficient buildings. In 7th IEEE International Conference on Industrial Informatics (INDIN); pages 250–255. IEEE; 2009.
 T. Mens and P. Van Gorp. A taxonomy of model transformation. Electronic Notes in Theoretical Computer Science; 152:125–142; 2006.
 G. Provan. Generating Reduced-Order Diagnosis Modelsfor HVAC Systems. In Itnl. Workshop on Principles of Diagnosis; Murnau; Germany; October 2011.
 T. Reis and T. Stykel. A survey on model reduction ofcoupled systems. Model Order Reduction: Theory; Research Aspects and Applications; pages 133–155; 2008.
 Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence; 32(1):57–95; 1987.
 T. Salsbury. A survey of control technologies in the buildingautomation industry. In Proc. of the 16th IFAC World Congress; pages 331–341; 2005.
 J. Schein and S.T. Bushby. A hierarchical rule-based fault detection and diagnostic method for HVAC systems. HVAC&R Research; 12(1):111–125; 2006.
 J. Schein; S.T. Bushby; N.S. Castro; and J.M. House. A rule-based fault detection method for air handling units. Energy and buildings; 38(12):1485–1492; 2006.
 J.L. Stein and L.S. Louca. A component-based modeling approach for system design: Theory and implementation. Ann Arbor; 1001:48109–2125.
 C. Turner; M. Frankel; and U.S.G.B. Council. Energy performance of LEED for new construction buildings. New Buildings Institute; 2008.
 M. Wetter. Modelica Library for Building Heating; Ventilation and Air-Conditioning Systems. In Proc. IBPSA Conference; pages 652–659; 2010.