FOCUS: an experimental environment for validation of fault-tolerant systems-case study of a jet-engine controller | IEEE Conference Publication | IEEE Xplore