Synthesis of High-Speed ASM Controllers with Moore Outputs by Introducing Additional States. - Valery Salauyou; Irena Bulatowa (CISIM, 2018)