Analyzing Safety Requirements for Process-Control Systems

Rogério de Lemos, Amer Saeed, Tom Anderson. Analyzing Safety Requirements for Process-Control Systems. IEEE Software, 12(3):42-53, 1995. [doi]

Abstract

Abstract is missing.