Henning Dierks Marc Lettrari Constructing Test Automata from Graphical Real-Time Requirements. 433-454 2002 conf/ftrtft/2002 FTRTFT http://link.springer.de/link/service/series/0558/bibs/2469/24690433.htm db/conf/ftrtft/ftrtft2002.html#DierksL02