Rogério de Lemos Amer Saeed Tom Anderson Analysis of Timeliness Requirements in Safety-Critical Systems. 171-192 1992 conf/ftrtft/1992 FTRTFT db/conf/ftrtft/ftrtft1992.html#LemosSA92