Vizovitin N., Nepomniaschy V., Stenenko A. Verification of UCM Models with Scenario Control Structures Using Coloured Petri Nets // # 7, 2016
Kondratyev D., Promsky A. An integrated approach to the error localization during C program verification // # 1, 2013
