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