Mischkalla, Fabian, and Wolfgang Müller. Efficient Power-Intent Validation Using “Loosely-Timed”10.1109/PATMOS.2013.6662171__Simulation Models: A Non-Invasive Approach. IEEE, 2013, doi:10.1109/PATMOS.2013.6662171.

Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection in Abstract RTOS Simulation.”10.1109/DATE.2009.5090925__Proceedings of DATE’09, 2009, doi:10.1109/DATE.2009.5090925.

Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.”10.1109/SEFM.2004.1347516__Proceedings of SEFM´04, IEEE, 2004, doi:10.1109/SEFM.2004.1347516.

Müller, Wolfgang, et al. “The Simulation Semantics of SystemC.”10.1109/DATE.2001.915002__Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE, 2001, doi:10.1109/DATE.2001.915002.