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