1. Shalyto A., Tsarev F., Egorov K. Application of genetic programming and model checking for finite-state machine induction // SPIIRAS Proceedings. 2010. № 15 (4). C. 123-135.