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. and Bodin, E. 2013. Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs. SPIIRAS Proceedings. 3, 26 (Jun. 2013), 349-383. DOI:https://doi.org/10.15622/sp.26.22.