SysML_bddConstraints.jpg