Cimatti, et al.. Symbolic Compilation of PSL. no. 10, Institute of Electrical and Electronics Engineers (IEEE), 2008, doi:10.1109/tcad.2008.2003303.