TERMOS: A Formal Language for Scenarios in Mobile Computing Systems. - Hélène Waeselynck; Zoltán Micskei; Nicolas Rivière; Áron Hamvas; Irina Nitu (MobiQuitous, 2010)