Disciplined approach to real-time systems design

Burns, 1991, A framework for building dependable systems, Computer J., Vol 34, 173, 10.1093/comjnl/34.2.173 Burns, 1991, TARDIS: an architectural framework for timely and reliable distributed information systems, 1 Fidge, 1992, Specification and verification of real-time behaviour using Z and RTL, Vol 571, 393 King, 1990, Z and the refinement calculus, Vol 428, 164 Diller, 1990 1987 Inmos Ltd, 1988 Jahanian, 1986, Safety analysis of timing properties in real-time systems, IEEE Trans. Soft. Eng., Vol 12, 890, 10.1109/TSE.1986.6313045