MOTION: an application of ASMETA to mobile ad-hoc NETworks domain. - Gianluca Gennaro Bevilacqua; Alessandro Bianchi (ECSA (Companion), 2018)