{TRIO: A Logic Language for Executable Specifications of Real-Time Systems}