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