Auto-generation of ams behavioral models in different languages from hybrid automata | IEEE Conference Publication | IEEE Xplore