Wiersema, Tobias. Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware. Paderborn University, 2021.

Witschen, Linus Matthias, et al. “Proof-Carrying Approximate Circuits.”10.1109/TVLSI.2020.3008061__IEEE Transactions On Very Large Scale Integration Systems, vol. 28, no. 9, IEEE, 2020, pp. 2084–88, doi:10.1109/TVLSI.2020.3008061.

Jentzsch, Felix Paul. Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn, 2018.

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

Müller, Wolfgang, et al. “The Formal Execution Semantics of SpecC.”10.1145/581199.581234 __Proceedings of the ISS, 2002, doi:10.1145/581199.581234 .

Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.”10.1109/HICSS.2002.994469__Proceedings of HICSS-35, 2002, doi:10.1109/HICSS.2002.994469.

Müller, Wolfgang, et al. “The Simulation Semantics of SystemC.”10.1109/DATE.2001.915002__Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE, 2001, doi:10.1109/DATE.2001.915002.

Börger, Egon, et al. “A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines.”10.1007/978-1-4615-2237-9_5__Semantics of VHDL, edited by C. Delgado Kloos and Peter T. Breuer, Kluwer Academic Publishers, 1995, pp. 107–39, doi:10.1007/978-1-4615-2237-9_5.