A Real-time Semantics of Temporal Logic of Actions. - Michael Kaminski; Yael Yariv (J. Log. Comput., 2003)