K. L. Man, C.-U. Lei, H. K. Kapoor, T. Krilavicius, J. Ma, and N. Zhang, “PAFSV: A Formal Framework for Specification and Analysis of SystemVerilog”, Comput. Inform., vol. 35, no. 1, pp. 143–176, May 2016.