Detection of Runtime Conflicts among Services in Smart Cities | IEEE Conference Publication | IEEE Xplore