Building a hybrid systems modeler from synchronous language principles | IEEE Conference Publication | IEEE Xplore