Gopinath Karmakar Development of Safety-Critical Systems - 1st ed. 2023 - Springer 2023 ISBN: 9783031156886 Subjects--Topical Terms: Computer ScienceSoftware Engineering