Specification of safety and realibility requirements for control systems
Mõtus, Leo
Dagstuhl Seminar 9509 : High Integrity Programmable Electronics Systems, February 27-March 03, 1995
1995