Supporting conceptual design based on the function-behavior-state modeler | Synapse