Situation-aware contract specification language for middleware for ubiquitous computing | IEEE Conference Publication | IEEE Xplore