M/sub CASE/: model-based CASE | IEEE Conference Publication | IEEE Xplore