Objectifying real-time systems - Ellis, John R. (SIGS Books, 1994)