Formal Techniques for Networked and Distributed Systems . FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings - Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih ((Lecture Notes in Computer Science))