SysML_bddFlowSpec.jpg