Pascal van Eck Joeri Engelfriet Dieter Fensel Frank van Harmelen Yde Venema Mark Willems A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective. 462-496 2001 13 IEEE Trans. Knowl. Data Eng. 3 http://www.computer.org/tkde/tk2001/k0462abs.htm db/journals/tkde/tkde13.html#EckEFHVW01