Development of Safety-Critical Real-Time Systems.

Hans Rischel Jorge Cuéllar Simon Mørk Anders P. Ravn Isolde Wildgruber Development of Safety-Critical Real-Time Systems. 206-235 1995 conf/sofsem/1995 SOFSEM db/conf/sofsem/sofsem1995.html#RischelCMRW95