Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings - Suzuki, Kenji; Higashino, Teruo; Yasumoto, Keiichi; El-Fakih, Khaled (Springer Berlin Heidelberg : Imprint: Springer, 2008)