A Novel Analysis Procedure for Context-Aware Applications in Ubiquitous Environments: Application to a Smart Building Case Study | IEEE Conference Publication | IEEE Xplore