Towards a Model-Driven Requirements Specification of Context-Aware Services | IEEE Conference Publication | IEEE Xplore