System Safety Requirements as Control Structures.

Zhe Chen, Gilles Motet

Browse the full COMPSAC paper archive.