Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos: A Formal Specification Framework for Ad Hoc Mobile Communication Networks. SOFSEM (2) 2007: 91-102