Janusz Górski, Andrzej Wardzinski. Deriving Real-Time Requirements for Software from Safety Analysis. In Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, RTS 1996, L'Aquila, Italy, June 12-14, 1996. pages 9-14, IEEE Computer Society, 1996. [doi]
Abstract is missing.