Valery Salauyou, Irena Bulatowa. Synthesis of High-Speed ASM Controllers with Moore Outputs by Introducing Additional States. In Khalid Saeed, Wladyslaw Homenda, editors, Computer Information Systems and Industrial Management - 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings. Volume 11127 of Lecture Notes in Computer Science, pages 405-416, Springer, 2018. [doi]