FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings - Fitzgerald, John; Hayes, Ian J.; Tarlecki, Andrzej (Springer Berlin Heidelberg, 2005)