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, http://147.213.75.17/ojs/index.php/cai/article/view/1371.