Formal Description Techniques Ix: Theory, Application and Tools, Ifip Tc6 Wg6.1 International Conference on Formal Description Techniques Ix / Protocol Specification, Testing and Verification Xvi, Kaiserslautern, Germany, 8-11 October 1996