Hans Hansson Christer Norström Sasikumar Punnekkat Reliability Modelling of Time-Critical Distributed Systems. 94-105 http://link.springer.de/link/service/series/0558/bibs/1926/19260094.htm 2000 conf/ftrtft/2000 FTRTFT db/conf/ftrtft/ftrtft2000.html#HanssonNP00