E. Hajnicz
Polish Academy of Sciences, Warsaw, Poland
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
Real-Time Logic Revisited
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity