For citations:

Drobintsev P., Kotlyarov V., Nikiforov I., Voinov N., Selin I. Conversion of abstract behavioral scenarios into scenarios applicable for testing. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2016;28(3):145-160. https://doi.org/10.15514/ISPRAS-2016-28(3)-9