1. Anureev I., Baranov S., Beloglazov D., Drobintsev P., Kolchin A., Kotlyarov V., Letichevsky A., Letychevskyi O., Nepomniaschy V., Nikiforov I., Potiyenko S., Priima L., Tyutin B., Bodin E. Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs // SPIIRAS Proceedings. 2013. № 26 (3). C. 349-383.