FM 2005 formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings / - Fitzgerald, John,; Hayes, Ian.; Tarlecki, Andrzej. (Lecture notes in computer science,)