Man, Ka Lok, et al. “PAFSV: A Formal Framework for Specification and Analysis of SystemVerilog”. COMPUTING AND INFORMATICS, vol. 35, no. 1, May 2016, pp. 143-76, https://www.cai.sk/ojs/index.php/cai/article/view/1371.