Guettatfi, Z., Kermia, O., &; Khouas, A. (2015). Over effective hard real-time hardware tasks scheduling and allocation. In 25th International Conference on Field Programmable Logic and Applications (FPL). Imperial College.https://doi.org/10.1109/FPL.2015.7293994 

Klobedanz, K., Müller, W., &; Rettberg, A. (2012). An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems. IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.https://doi.org/10.1109/ISORCW.2012.41 

Mischkalla, F., He, D., &; Müller, W. (2010). Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. Proceedings of DATE’10. 2010 Design, Automation &; Test in Europe Conference &; Exhibition (DATE 2010), Dresden.https://doi.org/10.1109/DATE.2010.5456990 

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 

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 

Schattkowsky, T., Müller, W., &; Rettberg, A. (2005). A Model-Based Approach for Executable Specification on Reconfigurable Hardware. Proceedings of DATE’05.https://doi.org/10.1109/DATE.2005.20 

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 

Flake, S., &; Müller, W. (2002). Specification of Real-Time Properties for UML Models. Proceedings of HICSS-35. Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA .https://doi.org/10.1109/HICSS.2002.994469 

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