Stoppe, et al.. Validating Systemc Implementations Against Their Formal Specifications. ACM Press, 2014, doi:10.1145/2660540.2660981.