Domain Independent Architecture and Behavior Modeling for Pervasive Computing Environments | IEEE Conference Publication | IEEE Xplore