Concurrent Event Detection for Asynchronous consistency checking of pervasive context | IEEE Conference Publication | IEEE Xplore