Mischkalla, F., &; Müller, W. (2013). Efficient Power-Intent Validation Using “Loosely-Timed”https://doi.org/10.1109/PATMOS.2013.6662171__Simulation Models: A Non-Invasive Approach. 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS).https://doi.org/10.1109/PATMOS.2013.6662171 
LibreCat: /record/36919
DOI: 10.1109/PATMOS.2013.6662171

Zabel, H., &; Müller, W. (2009). Increased Accuracy through Noise Injection in Abstract RTOS Simulation. Proceedings of DATE’09. Design, Automation &; Test in Europe Conference &; Exhibition.https://doi.org/10.1109/DATE.2009.5090925 
LibreCat: /record/37066
DOI: 10.1109/DATE.2009.5090925

Flake, S., &; Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal Properties with OCL. Proceedings of SEFM´04.https://doi.org/10.1109/SEFM.2004.1347516__Proceedings of the Second International Conference on Software Engineering and Formal Methods.https://doi.org/10.1109/SEFM.2004.1347516 
LibreCat: /record/39069
DOI: 10.1109/SEFM.2004.1347516

Müller, W., Ruf, J., Hoffmann, D. W., Gerlach, J., Kropf, T., &; Rosenstiehl, W. (2001). The Simulation Semantics of SystemC. Proceedings of the Design, Automation, and Test in Europe (DATE’01).https://doi.org/10.1109/DATE.2001.915002__Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.https://doi.org/10.1109/DATE.2001.915002 
LibreCat: /record/39421
DOI: 10.1109/DATE.2001.915002