Matveeva, Elvira Faridovna, et al. “Analysis, Specification and Verification Requirements for Control Systems Cloud Training Platforms”. CTE Workshop Proceedings, vol. 2, Mar. 2014, pp. 54-57, https://doi.org/10.55056/cte.187.