Towards a Uniform Ontology-Driven Approach for Modeling, Checking and Executing WSANs | IEEE Conference Publication | IEEE Xplore