R. Nicola, P. Inverardi, and M. Nesi. Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, page 54-67. Springer, (1989)
M. Memon, G. Scoccia, P. Inverardi, and M. Autili. HHAI, volume 368 of Frontiers in Artificial Intelligence and Applications, page 385-388. IOS Press, (2023)