A formal approach for specification-driven AMS behavioral model generation | IEEE Conference Publication | IEEE Xplore