Ron Koymans Ruurd Kuiper Erik Zijstra Paradigms for Real-time Systems. 159-174 1988 conf/ftrtft/1988 FTRTFT db/conf/ftrtft/ftrtft1988.html#KoymansKZ88