Kumar, Vinay; Singh, Lalit; Tripathi, Anil K.: 'Reliability analysis of safety-critical and control systems: a state-of-the-art review', IET Software, 2018, 12, (1), p. 1-18, DOI: 10.1049/iet-sen.2017.0053
IET Digital Library, https://digital-library.theiet.org/;jsessionid=1u50yut8e9f5f.x-iet-live-01content/journals/10.1049/iet-sen.2017.0053