Matveeva, Elvira Faridovna, Rainer Unland, Martin Gröger, Dietrich Brandt, Torsten Brinda, and Vardan Surenovich Mkrttchian. 2014. “Analysis, Specification and Verification Requirements for Control Systems Cloud Training Platforms”. CTE Workshop Proceedings 2 (March): 54-57. https://doi.org/10.55056/cte.187.