The evidential independent verification of software of information and control systems, critical to safety: Functional model of scenario. - Borys Konorev; Volodymyr Sergiyenko; Georgiy Chertkov (EWDTS, 2011)