Rocco De Nicola Michele Loreti MoMo: A Modal Logic for Reasoning About Mobility. 95-119 2004 conf/fmco/2004 FMCO http://dx.doi.org/10.1007/11561163_5 db/conf/fmco/fmco2004.html#NicolaL04