IEE Colloquium on 'Computer Aided Software Engineering Tools for Real-Time Control' (Digest No.087) | IET Conference Publication | IEEE Xplore