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