Development of Safety-Critical Systems : Architecture and Software

Gopinath Karmakar; Amol Wakankar; Ashutosh Kabra; Paritosh Pandya, 9783031279010, 9783031279003