Foundations of Computer Software: Future Trends and Techniques for Development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers - Christine Choppy, Oleg Sokolsky ((Lecture Notes in Computer Science))