Matveeva, Elvira Faridovna, Rainer Unland, Martin Gröger, Dietrich Brandt, Torsten Brinda, and Vardan Surenovich Mkrttchian. “Analysis, Specification and Verification Requirements for Control Systems Cloud Training Platforms”. CTE Workshop Proceedings 2 (March 20, 2014): 54–57. Accessed June 10, 2026. https://acnsci.org/journal/index.php/cte/article/view/187.