Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks. - Lars Michael Kristensen; Michael Westergaard; Peder Christian Nørgaard (IFM, 2005)