Foundations of computer software. future trends and techniques for development 15th monterey workshop 2008, Budapest, Hungary, September 24-26, 2008, revised selected papers - Choppy, Christine; Sokolsky, Oleg (Lecture Notes in Computer Science,, 2010)