Embedded Software Development for Safety-Critical Systems 43 Pages Watermarked