@incollectionsoudjani:2014, Author = {Esmaeil Zadeh Soudjani, Sadegh and Gerwinn, Sebastian and Ellen, Christian and Fränzle, Martin and Abate, Alessandro}, Title = {Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads}, Year = {2014}, Pages = {57-73}, Editor = {Norman, Gethin and Sanders, William}, Publisher = {Springer International Publishing}, Series = {Lecture Notes in Computer Science}, Edition = {8657}, Booktitle = {Quantitative Evaluation of Systems}, Doi = {10.1007/978-3-319-10696-0_6}, Url = {http://dx.doi.org/10.1007/978-3-319-10696-0_6}, type = {incollection} @COMMENTBibtex file generated on