Integration of software analysis and design methods with formal description techniques | IEEE Conference Publication | IEEE Xplore