CASE tools and method integration | IET Conference Publication | IEEE Xplore