A logic-based language for describing device interoperability | IEEE Conference Publication | IEEE Xplore