Sören Schreiner, Razi Seyyedi, Maher Fakih, Kim Grüttner, Wolfgang Nebel. Towards power management verification of time-triggered systems using virtual platforms. In Trevor N. Mudge, Dionisios N. Pnevmatikatos, editors, Proceedings of the 18th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, Pythagorion, Greece, July 15-19, 2018. pages 81-88, ACM, 2018. [doi]