Mission-Critical and Safety-Critical Systems Handbook: Design and Development f,