Shilov, N.; Schekotov, M. Ontological Modelling of State Machines for Cyberphysical System Services. ICS 2017, 80-88.