selected publications conference paper Domain Independent Architecture and Behavior Modeling for Pervasive Computing Environments. . 2012