An extension of the use case diagram to model context-aware applications | IEEE Conference Publication | IEEE Xplore