Guettatfi, Zakarya, Omar Kermia, and Abdelhakim Khouas. “Over Effective Hard Real-Time Hardware Tasks Scheduling and Allocation.”https://doi.org/10.1109/FPL.2015.7293994__In 25th International Conference on Field Programmable Logic and Applications (FPL). Imperial College, 2015.https://doi.org/10.1109/FPL.2015.7293994 .

Klobedanz, Kay, Wolfgang Müller, and Achim Rettberg. “An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems.”https://doi.org/10.1109/ISORCW.2012.41__Shenzhen, China : IEEE, 2012.https://doi.org/10.1109/ISORCW.2012.41 .

Mischkalla, Fabian, Da He, and Wolfgang Müller. “Closing the Gap between UML-Based Modeling and Simulation of Combined HW/SW Systems.”https://doi.org/10.1109/DATE.2010.5456990__In Proceedings of DATE’10. Dresden: IEEE, 2010.https://doi.org/10.1109/DATE.2010.5456990 .

Oliveira, Marcio F. S., Henning Zabel, and Wolfgang Müller. “Assertion-Based Verification of RTOS Properties.”https://doi.org/10.1109/DATE.2010.5457130__In Proceedings of DATE’10. Dresden: IEEE, 2010.https://doi.org/10.1109/DATE.2010.5457130 .

Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.”https://doi.org/10.1109/DATE.2010.5456965__In Proceedings of DATE’10. Dresden: IEEE, 2010.https://doi.org/10.1109/DATE.2010.5456965 .

Müller, Wolfgang, Marcio F. da S. Oliveira, Henning Zabel, and Markus Becker. “Verification of Real-Time Properties for Hardware-Dependant Software.” In Proceedings of HLD. IEEE, 2010.

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

Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.”https://doi.org/10.1109/DATE.2005.20__In Proceedings of DATE’05. Munich, Germany : IEEE, 2005.https://doi.org/10.1109/DATE.2005.20 .

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

Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.”https://doi.org/10.1109/HICSS.2002.994469__In Proceedings of HICSS-35. Big Island, HI, USA , 2002.https://doi.org/10.1109/HICSS.2002.994469 .

Dücker, M., Georg Lehrenfeld, Wolfgang Müller, and C. Tahedl. “A Generic System for Interactive Real--Time Animation.”https://doi.org/10.1109/ECBS.1997.581876__In https://doi.org/10.1109/ECBS.1997.581876__Proceedings International Conference and Workshop on Engineering of Computer-Based Systems. Monterey, CA, USA , 1997.https://doi.org/10.1109/ECBS.1997.581876 .