• 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