Sadegh Esmaeil Zadeh Soudjani, Sebastian Gerwinn, Christian Ellen, Martin Fränzle, Alessandro Abate. Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads. In Gethin Norman, William H. Sanders, editors, Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings. Volume 8657 of Lecture Notes in Computer Science, pages 57-73, Springer, 2014.