@incollection{soudjani: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}}@COMMENT{Bibtex file generated on }