Ho, N., Kaufmann, P., &; Platzner, M. (2014). A hardware/software infrastructure for performance monitoring on LEON3 multicore platforms. In 24th Intl. Conf. on Field Programmable Logic and Applications (FPL) (pp. 1–4).https://doi.org/10.1109/FPL.2014.6927437 

Becker, M., Zabel, H., &; Müller, W. (2010). A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement (L. Kleinjohann &; B. Kleinjohann, Eds.). Springer Verlag.https://doi.org/10.1007/978-3-642-15234-4_15 

Müller, W., Dömer, R., &; Gerstlauer, A. (2002). The Formal Execution Semantics of SpecC. Proceedings of the ISS.https://doi.org/10.1145/581199.581234  

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 

Börger, E., Glässer, U., &; Müller, W. (1995). A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines. In C. Delgado Kloos &; P. T. Breuer (Eds.), Semantics of VHDL (pp. 107–139). Kluwer Academic Publishers.https://doi.org/10.1007/978-1-4615-2237-9_5