Simeon Veloudis Nimal Nissanke Duration Calculus in the Specification of Safety Requirements. 103-112 1998 conf/ftrtft/1998 FTRTFT http://link.springer.de/link/service/series/0558/bibs/1486/14860103.htm db/conf/ftrtft/ftrtft1998.html#VeloudisN98