@inproceedings(DBLP:conf/hybrid/AlurCHH92,
 author       = {Rajeev Alur and Costas Courcoubetis and Thomas~A. Henzinger and Pei{-}Hsin Ho},
 year         = {1992},
 title        = {Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems},
 editor       = {Robert~L. Grossman and Anil Nerode and Anders~P. Ravn and Hans Rischel},
 booktitle    = {Hybrid Systems},
 series       = {Lecture Notes in Computer Science},
 volume       = {736},
 publisher    = {Springer},
 pages        = {209--229},
 doi          = {10.1007/3-540-57318-6\@uscore .30},
)
@inproceedings(DBLP:conf/hybrid/AlurMT16,
 author       = {Rajeev Alur and Salar Moarref and Ufuk Topcu},
 year         = {2016},
 title        = {Compositional Synthesis with Parametric Reactive Controllers},
 editor       = {Alessandro Abate and Georgios~E. Fainekos},
 booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14, 2016},
 publisher    = {{ACM}},
 pages        = {215--224},
 doi          = {10.1145/2883817.2883842},
)
@inproceedings(DBLP:conf/sac/BrinkeMBBA13,
 author       = {Steven te~Brinke and Somayeh Malakuti and Christoph Bockisch and Lodewijk Bergmans and Mehmet Aksit},
 year         = {2013},
 title        = {A design method for modular energy-aware software},
 editor       = {Sung~Y. Shin and Jos{\'{e}}~Carlos Maldonado},
 booktitle    = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing, {SAC} '13, Coimbra, Portugal, March 18-22, 2013},
 publisher    = {{ACM}},
 pages        = {1180--1182},
 doi          = {10.1145/2480362.2480584},
)
@inproceedings(seflab,
 author       = {Miguel~A Ferreira and Eric Hoekstra and Bo~Merkus and Bram Visser and Joost Visser},
 year         = {2013},
 title        = {{SEFLab}: A lab for measuring software energy footprints},
 booktitle    = {2nd International Workshop on Green and Sustainable Software ({GREENS}), 2013},
 organization = {IEEE},
 pages        = {30--37},
 doi          = {10.1109/GREENS.2013.6606419},
)
@inproceedings(DBLP:conf/fopara/GastelKE15,
 author       = {Bernard van Gastel and Rody Kersten and Marko C. J.~D. van Eekelen},
 year         = {2015},
 title        = {Using Dependent Types to Define Energy Augmented Semantics of Programs},
 editor       = {Marko C. J.~D. van Eekelen and Ugo~Dal Lago},
 booktitle    = {Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, {FOPARA} 2015, London, UK, April 11, 2015, Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {9964},
 pages        = {20--39},
 doi          = {10.1007/978-3-319-46559-3\@uscore .2},
)
@phdthesis(BernardPhD,
 author       = {{}{van Gastel}, Bernard},
 year         = {2016},
 title        = {Assessing sustainability of software; analysing correctness, memory and energy consumption},
 school       = {Open Universiteit},
 url          = {http://sustainablesoftware.info/download/thesis-met-cover.pdf},
)
@techreport(energysummerschool,
 author       = {{}{van Gastel}, Bernard and {van Eekelen}, Marko},
 year         = {2016},
 title        = {{Lecture notes on `Analysing energy consumption by software', for the TACLe Summerschool 2016 in Yspertal, Austria}},
 type         = {Technical Report},
 institution  = {Radboud University Nijmegen},
 url          = {https://pms.cs.ru.nl/iris-diglib/src/getContent.php?id=2016-van-Eekelen-EnergyAnalysing},
)
@inproceedings(Jagroep:2016:SEP:2889160.2889216,
 author       = {Erik~A. Jagroep and Jan~Martijn van~der Werf and Sjaak Brinkkemper and Giuseppe Procaccianti and Patricia Lago and Leen Blom and Rob van Vliet},
 year         = {2016},
 title        = {Software Energy Profiling: Comparing Releases of a Software Product},
 booktitle    = {Proceedings of the 38th International Conference on Software Engineering Companion},
 series       = {ICSE '16},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {523--532},
 doi          = {10.1145/2889160.2889216},
)
@inproceedings(JayaseelanML06,
 author       = {Ramkumar Jayaseelan and Tulika Mitra and Xianfeng Li},
 year         = {2006},
 title        = {Estimating the Worst-Case Energy Consumption of Embedded Software},
 booktitle    = {Proceedings of the 12th {IEEE} Real-Time and Embedded Technology and Applications Symposium},
 publisher    = {{IEEE}},
 pages        = {81--90},
 doi          = {10.1109/RTAS.2006.17},
)
@inproceedings(fopara14-kersten,
 author       = {Rody {Kersten} and {Parisen Toldin}, Paolo and {}{van Gastel}, Bernard and {van Eekelen}, Marko},
 year         = {2014},
 title        = {A {Hoare} Logic for Energy Consumption Analysis},
 booktitle    = {Proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis ({FOPARA}'13)},
 series       = {LNCS},
 volume       = {8552},
 publisher    = {Springer},
 pages        = {93--109},
 doi          = {10.1007/978-3-319-12466-7\@uscore .6},
)
@article(Leroy2009:Compcert,
 author       = {Xavier Leroy},
 year         = {2009},
 title        = {Formal verification of a realistic compiler},
 journal      = {Communications of the ACM},
 volume       = {52},
 number       = {7},
 pages        = {107--115},
 doi          = {10.1145/1538788.1538814},
 url          = {http://gallium.inria.fr/~xleroy/publi/compcert-CACM.pdf},
)
@inproceedings(7101364,
 author       = {F.~A. Moghaddam and T.~Geenen and P.~Lago and P.~Grosso},
 year         = {2015},
 title        = {A user perspective on energy profiling tools in large scale computing environments},
 booktitle    = {Sustainable Internet and ICT for Sustainability (SustainIT), 2015},
 pages        = {1--5},
 doi          = {10.1109/SustainIT.2015.7101364},
)
@article(Oldenkamp2016121,
 author       = {Rik Oldenkamp and Rosalie van Zelm and Mark~A.J. Huijbregts},
 year         = {2016},
 title        = {Valuing the human health damage caused by the fraud of Volkswagen},
 journal      = {Environmental Pollution},
 volume       = {212},
 pages        = {121 -- 127},
 doi          = {10.1016/j.envpol.2016.01.053},
 url          = {http://www.sciencedirect.com/science/article/pii/S0269749116300537},
)
@techreport(techrep,
 author       = {{Parisen Toldin}, Paolo and Rody {Kersten} and {}{van Gastel}, Bernard and {van Eekelen}, Marko},
 year         = {2013},
 title        = {{Soundness proof for a Hoare logic for energy consumption analysis}},
 type         = {Technical Report},
 number       = {ICIS--R13009},
 institution  = {Radboud University Nijmegen},
 url          = {https://pms.cs.ru.nl/iris-diglib/src/getContent.php?id=2013-ParisenToldin-SoundnessLogic},
)
@article(Saxe10,
 author       = {Eric Saxe},
 year         = {2010},
 title        = {Power-efficient software},
 journal      = {Communications of the {ACM}},
 volume       = {53},
 number       = {2},
 pages        = {44--48},
 doi          = {10.1145/1646353.1646370},
)
@inproceedings(DBLP:conf/fopara/ShkaravskaET13,
 author       = {Olha Shkaravska and Marko C. J.~D. van Eekelen and Alejandro Tamalet},
 year         = {2013},
 title        = {Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists},
 editor       = {Ugo~Dal Lago and Pe{\~{n}}a, Ricardo},
 booktitle    = {Foundational and Practical Aspects of Resource Analysis - Third International Workshop, {FOPARA} 2013, {Bertinoro}, {Italy}, {August} 29-31, 2013, Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {8552},
 publisher    = {Springer},
 pages        = {143--159},
 doi          = {10.1007/978-3-319-12466-7\@uscore .9},
)
@inproceedings(Tamalet2009,
 author       = {Alejandro Tamalet and Olha Shkaravska and {van Eekelen}, Marko~C.J.D.},
 year         = {2009},
 title        = {Size Analysis of Algebraic Data Types},
 editor       = {Peter Achten and Pieter Koopman and {Marco T.} Moraz\'an},
 booktitle    = {Trends in Functional Programming},
 series       = {Trends in Functional Programming},
 volume       = {9},
 publisher    = {Intellect},
 pages        = {33--48},
 url          = {http://www.intellectbooks.co.uk/books/view-Book,id=4648/},
 note         = {ISBN 978-1-84150-277-9},
)
@article(DBLP:journals/cacm/Vaandrager17,
 author       = {Frits~W. Vaandrager},
 year         = {2017},
 title        = {Model learning},
 journal      = {Commun. {ACM}},
 volume       = {60},
 number       = {2},
 pages        = {86--95},
 doi          = {10.1145/2967606},
)
@article(10.1109/ECRTS.2015.17,
 author       = {Peter Wagemann and Tobias Distler and Timo Honig and Heiko Janker and Rudiger Kapitza and Schroder-Preikschat, Wolfgang},
 year         = {2015},
 title        = {Worst-Case Energy Consumption Analysis for Energy-Constrained Embedded Systems},
 journal      = {2015 27th Euromicro Conference on Real-Time Systems (ECRTS)},
 volume       = {00},
 pages        = {105--114},
 doi          = {10.1109/ECRTS.2015.17},
)
@inproceedings(Zhurikhin09,
 author       = {Dmitry Zhurikhin and Andrey Belevantsev and Arutyun Avetisyan and Kirill Batuzov and Semun Lee},
 year         = {2009},
 title        = {Evaluating power aware optimizations within {GCC} compiler},
 booktitle    = {GROW-2009: International Workshop on {GCC} Research Opportunities},
 pages        = {1--9},
 doi          = {10.1.1.470.8078},
)