E. F. Matveeva, R. Unland, M. Gröger, D. Brandt, T. Brinda, and V. S. Mkrttchian, “Analysis, specification and verification requirements for control systems cloud training platforms”, CTE Workshop Proc., vol. 2, pp. 54–57, Mar. 2014, doi: 10.55056/cte.187.