Formal methods in software engineering and defence systems 2002 : proceedings of the Satellite Workshops on Software Engineering and Formal Methods and Formal Methods Applied to Defence Systems / edited by Charles Lakos ... [et al.]