Gergely Pintér Zoltán Micskei András Kövi Zoltán Égel Imre Kocsis Gábor Huszerl András Pataricza Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services. 150-174 2007 WADS http://dx.doi.org/10.1007/978-3-540-85571-2_7 conf/icse/2007wads db/conf/icse/wads2007.html#PinterMKEKHP07