Integrating control and software views in a CACE/CASE toolset | IEEE Conference Publication | IEEE Xplore