Hanno Wupper Jan Vytopil A Specification Language for Reliable Real-time Systems. 111-127 1988 conf/ftrtft/1988 FTRTFT db/conf/ftrtft/ftrtft1988.html#WupperV88