Mission-Critical and Safety-Critical Systems Handbook: Design and Development for Embedded Applications