Embedded Software Development for Safety-Critical Systems, Second Edition, Paperback/Chris Hobbs