Method for functional testing critical control systems. - Konstantin Gerasimenko; Vladimir Hahanov; Tamer Bani Amer; Aleksey Priymak (EWDTS, 2015)