Translating Sequential Function Charts to the Compositional Interchange Format for hybrid systems | IEEE Conference Publication | IEEE Xplore