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.