The MHS methodology: analysis and design for context-aware systems | IEEE Conference Publication | IEEE Xplore