Embedded Software Development for Safety-Critical Systems, Second Edition