Martin Wirsing Jean-Pierre Banâtre Matthias M. Hölzl Axel Rauschmayer Software-Intensive Systems and New Computing Paradigms 5380 2008 978-3-540-89436-0 Lecture Notes in Computer Science Springer db/series/lncs/lncs5380.html