Chaudhary, S., Fischmeister, S., & Tan, L. (2014). em-SPADE: A Compiler Extension for Checking Rules Extracted from Processor Specifications SIGPLAN/SIGBED/Conference/on/Languages,/Compilers/and/Tools/for/Embedded/Systems/(LCTES), 105-114. New York, NY, USA: ACM. https://doi.org/10.1145/2597809.2597823