The correct answer is (b) Timeout in fault tolerant systems
Explanation: The examination of temporal properties of simultaneous processes may determine timeout in fault tolerant systems, duration control in real time systems, etc. It may be regarded as a logic-based approach for reasoning about time. It may be employed for planning activities in cognitive radio.