Zyubin V., Liakh T. Model Checking of industrial control algorithms in combination with virtual objects // # 8, 2016
