Baar T., Schulte H. Safety Analysis of Longitunal Motion Controllers during Climb Flight // # 14, 2019
Zyubin V., Liakh T., Rozov A. Reflex Language: a Practical Notation for Cyber-Physical Systems // # 12, 2018
