Title: A systems engineering specification formalism
First published: 1996
Subjects: Control theory, Redundancy (Engineering)