Formal Techniques for Networked and Distributed Systems FORTE 2008 | Kaicus Deutschland