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