Development of Safety-Critical Systems: Architecture and Software - Gopinath Karmakar; Kabra, Ashutosh; Pandya, Paritosh; Wakankar, Amol (Springer Nature (Textbooks & Major Reference Works), 2023)