Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks