Lina Khatib Nicola Muscettola Klaus Havelund Mapping Temporal Planning Constraints into Timed Automata. 21-27 http://www.computer.org/proceedings/time/1107/11070021abs.htm 2001 TIME db/conf/time/time2001.html#KhatibMH01