A systems engineering specification formalism door N.W.A. Arends