Shirokova Ekaterina V., Prokopenko Svetlana A., Shabaldina Natalia 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
Kolomeec A.V. , Mihaylov Yu.V. «Check Transition Extended Automation on Base Cut » // 2008. №3 (4) C.110-118
