@article{waegemann18artifact,
	author = {Peter W\"{a}gemann and Christian Dietrich and Tobias Distler and Peter Ulbrich and Wolfgang Schr\"{o}der-Preikschat},
	title = {Whole-System {WCEC} Analysis for Energy-Constrained Real-Time Systems (Artifact)},
	journal = {Dagstuhl Artifacts Series},
	volume = {4},
	number = {2},
	pages = {7:1--7:4},
	year = {2018}
}