SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems. - Anatoly A. Shalyto; N. I. Tukkel (Program. Comput. Softw., 2001)

Translating Iterative Algorithms into Automaton Ones. - Anatoly A. Shalyto; N. I. Tukkel (Program. Comput. Softw., 2002)