Kondratyev D., Promsky A. An integrated approach to the error localization during C program verification // # 1, 2013
Zyubin V., Liakh T., Rozov A. Reflex Language: a Practical Notation for Cyber-Physical Systems // # 12, 2018
