A floating point co-processor for real-time fault detection and isolation in electronically controlled IC engines | IET Conference Publication | IEEE Xplore