Embedded Software Development for Safety-Critical Systems, Second Edition – GOODNotes: Item in good condition.