SysML Executable Model of an Energy-Efficient House and Trade-Off Analysis | Synapse