Zouaghi, Leila ; Koslowski, Markus ; Alexopoulos, Alexander ; Barth, Florian ; Jipp, Meike ; Schmidlin Fajardo Silva, Raul ; Luo, Yi ; Wagner, Achim ; Badreddin, Essameddin (2009) Dependable component-based design on the Example of a Heating Control System. [Conference Item]