FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Jorge Cuellar, Tom Maibaum, Kaisa Sere ((Lecture Notes in Computer Science))