Designing and Implementing Correct Real-Time Systems.

Steven Bradley William Henderson David Kendall Adrian Robson Designing and Implementing Correct Real-Time Systems. 228-246 1994 conf/ftrtft/1994 FTRTFT db/conf/ftrtft/ftrtft1994.html#BradleyHKR94