Detection of Runtime Conflicts among Services in Smart Cities. - Meiyi Ma; Sarah Masud Preum; William Tärneberg; Mohsin Y. Ahmed; Matthew Ruiters; John A. Stankovic (SMARTCOMP, 2016)