Towards concurrent task verification in context-aware applications. - Shinji Iwamoto; Ren Ohmura (UbiComp/ISWC Adjunct, 2015)