@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 }