P. Azéma, F. Vernadat, и J. Lloret. Automatic Verification Methods for Finite State Systems, том 407 из Lecture Notes in Computer Science, стр. 286-293. Springer, (1989)
J. Jiménez, J. Lloret, J. Diaz, и R. Gilaberte. TRIDENTCOM, том 177 из Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, стр. 124-134. Springer, (2016)