Embedded Software Development for Safety-Critical Systems - Chris Hobbs (Taylor and Francis, 2016)