Formal techniques for networked and distributed systems--FORTE 2005 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings / - Wang, Farn. (Lecture notes in computer science,)