FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings - Cuellar, Jorge; Maibaum, Tom; Sere, Kaisa (Springer Berlin Heidelberg, 2008)