Piotr Kosiuczenko Martin Wirsing Timed Rewriting Logic with an Application to Object-Based Specification. 225-246 1997 28 Sci. Comput. Program. 2-3 db/journals/scp/scp28.html#KosiuczenkoW97