Specification of safety and reliability requirements for control systemsMõtus, LeoHigh integrity systems1996 / 6, p. 513-522 : ill Specification of safety and reliability requirements for control systemsMõtus, LeoProceedings of the 3rd Baltic Summer School on Information Technology and System Engineering, 1-5 August, 1995, Klaipeda, Lithuania1996 / p. 37-56