Prokopenko Svetlana A., Shabaldina Natalia V., Shirokova Ekaterina V. «On deriving the parallel composition of extended finite state machines» // Tomsk State University Journal of Control and Computer Science 2019. №48 C.83-91
Mihaylov Yu.V. , Kolomeec A.V. «Check Transition Extended Automation on Base Cut » // 2008. №3 (4) C.110-118
