A Decoupled and Interoperable Architecture for Coordination in Ubiquitous Systems
A Verification Mechanism of Feature Models for Mobile and Context-Aware Software Product Lines