Application of real-time temporal logic to design fault detection in responsive communication protocols | IEEE Conference Publication | IEEE Xplore