Man, K.L. et al. 2016. PAFSV: A Formal Framework for Specification and Analysis of SystemVerilog. COMPUTING AND INFORMATICS. 35, 1 (May 2016), 143–176.