Model Based Approach to Cyber-Physical Systems Status Monitoring. - Alexander Vodyaho; Saddam Abbas; Nataly Zhukova; Michael Chervoncev (Comput., 2020)