Man, K. L.; Lei, C.-U.; Kapoor, H. K.; Krilavicius, T.; Ma, J.; Zhang, N. PAFSV: A Formal Framework for Specification and Analysis of SystemVerilog. Comput. Inform. 2016, 35, 143-176.