Model-based systems engineering : an introduction to the mathematical theory of discrete systems and to the tricotyledon theory of system design - Wymore, A. Wayne (Systems engineering series, 1993)