Formal Techniques For Networked And Distributed Systems Forte 2005 25Th Ifip Wg 61 International Conference Taipei Taiwan October 2 5 2005 Proceedings 2005