Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation Unit.”10.1109/DATE.2004.1269214__Proceedings of DATE’04 Designers’ Forum, 2004, doi:10.1109/DATE.2004.1269214.

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.