@misc(AnyLogic2000,
 author       = {AnyLogic},
 year         = {2000},
 title        = {{AnyLogic: Multimethod Simulation Software}},
 url          = {http://www.anylogic.com/},
)
@book(Arregoces2003,
 author       = {M. Arregoces and M. Portolani},
 year         = {2003},
 title        = {{Data Center Fundamentals}},
 publisher    = {Cisco Press},
 address      = {Indianapolis},
)
@article(Barroso2007,
 author       = {L. Barroso and U. H{\"{o}}lzle},
 year         = {2007},
 title        = {{The case for energy-proportional computing}},
 journal      = {Computer},
 volume       = {40},
 number       = {12},
 pages        = {33--37},
 doi          = {10.1109/MC.2007.443},
)
@article(845896,
 author       = {L. Benini and A. Bogliolo and G.D. Micheli},
 year         = {2000},
 title        = {A survey of design techniques for system-level dynamic power management},
 journal      = {IEEE Transactions on Very Large Scale Integration (VLSI) Systems},
 volume       = {8},
 number       = {3},
 pages        = {299--316},
 doi          = {10.1109/92.845896},
)
@inproceedings(Bergvaluetools,
 author       = {F. van den Berg and B. Haverkort and J. Hooman},
 year         = {2016},
 title        = {{Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques}},
 booktitle    = {{Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools}},
 series       = {{VALUETOOLS'15}},
 publisher    = {ICST},
 pages        = {158--–163},
 doi          = {10.4108/eai.14-12-2015.2262725},
)
@inproceedings(BergHHHR15,
 author       = {F. van den Berg and J. Hooman and A. Hartmanns and B. Haverkort and A. Remke},
 year         = {2015},
 title        = {Computing Response Time Distributions Using Iterative Probabilistic Model Checking},
 booktitle    = {{EPEW}},
 series       = {Lecture Notes in Computer Science},
 volume       = {9272},
 publisher    = {Springer},
 pages        = {208--224},
 doi          = {10.1007/978-3-319-23267-6\_14},
)
@inproceedings(so94137,
 author       = {F. van den {Berg} and A. {Remke} and B. {Haverkort}},
 year         = {2014},
 title        = {A domain specific language for performance evaluation of medical imaging systems},
 booktitle    = {MCPS 2014},
 series       = {OASICS},
 volume       = {36},
 publisher    = {Schloss Dagstuhl},
 pages        = {80--93},
 doi          = {10.4230/OASIcs.MCPS.2014.80},
)
@inproceedings(BergRH15,
 author       = {F. van den Berg and A. Remke and B. Haverkort},
 year         = {2015},
 title        = {{iDSL}: Automated Performance Prediction and Analysis of Medical Imaging Systems},
 booktitle    = {{EPEW}},
 series       = {LNCS},
 volume       = {9272},
 publisher    = {Springer},
 pages        = {227--242},
 doi          = {10.1007/978-3-319-23267-6\_15},
)
@article(calheiros2011cloudsim,
 author       = {R. Calheiros and R. Ranjan and A. Beloglazov and De Rose, C. and R. Buyya},
 year         = {2011},
 title        = {CloudSim: a toolkit for modeling and simulation of cloud computing environments and evaluation of resource provisioning algorithms},
 journal      = {Software: Practice and Experience},
 volume       = {41},
 number       = {1},
 pages        = {23--50},
)
@article(ENPower2009,
 author       = {{Emerson Network Power}},
 year         = {2009},
 title        = {{Energy Logic: Reducing Data Center Energy Consumption by Creating Savings that Cascade Across Systems}},
 journal      = {White Paper of Emerson Electric Co},
)
@phdthesis(Gandhi,
 author       = {A. Gandhi},
 year         = {2013},
 title        = {{Dynamic Server Provisioning for Data Center Power Management}},
 type         = {Phd thesis},
 school       = {Carnegie Mellon University},
 doi          = {10.1.1.376.4361},
)
@inproceedings(Gandhi2012,
 author       = {A. Gandhi and Harchol-Balter, M. and M. Kozuch},
 year         = {2012},
 title        = {{Are sleep states effective in data centers?}},
 booktitle    = {Proc. of Int. Green Computing Conference},
 publisher    = {IEEE},
 pages        = {1--10},
 doi          = {10.1109/IGCC.2012.6322260},
)
@inproceedings(modest,
 author       = {A. Hartmanns and H. Hermanns},
 year         = {2009},
 title        = {A Modest approach to checking probabilistic timed automata},
 booktitle    = {QEST},
 organization = {IEEE},
 pages        = {187--196},
 doi          = {10.1109/QEST.2009.41},
)
@incollection(prism,
 author       = {A. Hinton and M. Kwiatkowska and G. Norman and D. Parker},
 title        = {{PRISM}: A tool for automatic verification of probabilistic systems},
 doi          = {10.1007/11691372\_29},
)
@article(Koomey2011,
 author       = {J. Koomey},
 year         = {2011},
 title        = {{Growth in data center electricity use 2005 to 2010}},
 journal      = {Oakland, CA: Analytics Press. August},
 volume       = {1},
)
@misc(Kroes2012,
 author       = {N. Kroes},
 year         = {2012},
 title        = {{Using ICT to build Sustainable Cities}},
)
@article(uppaal,
 author       = {K. Larsen and P. Pettersson and W. Yi},
 year         = {1997},
 title        = {UPPAAL in a nutshell},
 journal      = {STTTT},
 volume       = {1},
 number       = {1},
 pages        = {134--152},
 doi          = {10.1007/s100090050010},
)
@article(nolan2010inconvenient,
 author       = {J. Nolan},
 year         = {2010},
 title        = {“An Inconvenient Truth” Increases Knowledge, Concern, and Willingness to Reduce Greenhouse Gases},
 journal      = {Environment and Behavior},
 volume       = {42},
 number       = {5},
 pages        = {643--658},
 doi          = {10.1177/0013916509357696},
)
@inproceedings(Petrucci2011,
 author       = {V. Petrucci and E. Carrera and O. Loques and J. Leite and D. Moss{\'{e}}},
 year         = {2011},
 title        = {{Optimized Management of Power and Performance for Virtualized Heterogeneous Server Clusters}},
 booktitle    = {2011 11th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing},
 publisher    = {IEEE},
 pages        = {23--32},
 doi          = {10.1109/CCGrid.2011.15},
)
@article(Pinheiro,
 author       = {E. Pinheiro and R. Bianchini and E. Carrera and T. Heath},
 year         = {2001},
 title        = {{Load balancing and unbalancing for power and performance in cluster-based systems}},
 journal      = {Work. on compilers and operating systems for low power},
 volume       = {180},
)
@inproceedings(Postema,
 author       = {B. Postema and B. Haverkort},
 year         = {2015},
 title        = {{An AnyLogic Simulation Model for Power and Performance Analysis of Data Centres}},
 editor       = {M. Beltr{\'{a}}n and W. Knottenbelt and J. Bradley},
 booktitle    = {Computer Performance Engineering},
 series       = {Lecture Notes in Computer Science},
 volume       = {9272},
 publisher    = {Springer International Publishing Switzerland},
 address      = {Madrid, Spain},
 pages        = {258--272},
 doi          = {10.1007/978-3-319-23267-6{\_}17},
)
@inproceedings(Van2010,
 author       = {H. Van and F. Tran and J. Menaud},
 year         = {2010},
 title        = {{Performance and Power Management for Cloud Infrastructures}},
 booktitle    = {2010 IEEE 3rd International Conference on Cloud Computing},
 publisher    = {IEEE},
 pages        = {329--336},
 doi          = {10.1109/CLOUD.2010.25},
)