Embedded Software Development for Safety-Critical Systems - 9781032980379