Fahr, R., Janssen, E. A., &; Sureth-Sloane, C. (2022). Can Tax Rate Changes Accelerate Investment under Entry and Exit Flexibility? – Insights from an Economic Experiment. FinanzArchiv / Public Finance Analysis, 78(1–2), 239–289.

Koning, R., Polevoy, G., Meijer, L., de Laat, C., &; Grosso, P. (2019). Approaches for Collaborative Security Defences in Multi Network Environments. In 2019 6th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)/ 2019 5th IEEE International Conference on Edge Computing and Scalable Cloud (EdgeCom) (pp. 113–123).https://doi.org/10.1109/CSCloud/EdgeCom.2019.000-9 

Oliveira, M. F. S., Zabel, H., &; Müller, W. (2010). Assertion-Based Verification of RTOS Properties. Proceedings of DATE’10. 2010 Design, Automation &; Test in Europe Conference &; Exhibition (DATE 2010), Dresden.https://doi.org/10.1109/DATE.2010.5457130 

Klobedanz, K., Kuznik, C., Thuy, A., &; Müller, W. (2010). Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. Proceedings of DATE’10, Dresden. 2010 Design, Automation &; Test in Europe Conference &; Exhibition (DATE 2010), Dresden.https://doi.org/10.1109/DATE.2010.5457125 

Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., &; Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. Proceedings of DATE’10. Design, Automation &; Test in Europe Conference &; Exhibition (DATE 2010), Dresden.https://doi.org/10.1109/DATE.2010.5456965 

Müller, W., da S. Oliveira, M. F., Zabel, H., &; Becker, M. (2010). Verification of Real-Time Properties for Hardware-Dependant Software. Proceedings of HLD. IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA.

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 

Dücker, M., Lehrenfeld, G., Müller, W., &; Tahedl, C. (1997). A Generic System for Interactive Real--Time Animation. https://doi.org/10.1109/ECBS.1997.581876__Proceedings International Conference and Workshop on Engineering of Computer-Based Systems.https://doi.org/10.1109/ECBS.1997.581876 

Lehrenfeld, G., Müller, W., &; Tahedl, C. (1995). Transforming SDL Diagrams Into a Complete Visual Representation. Proceedings of Symposium on Visual Languages.https://doi.org/10.1109/VL.1995.520803 

Müller, W., Lehrenfeld, G., &; Tahedl, C. (1995). Complete Visual Specification and Animations of Protocols. Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair.https://doi.org/10.1109/ASPDAC.1995.486383