IEE Colloquium on 'Application of CASE Tools' (Digest No.058) | IET Conference Publication | IEEE Xplore