The Concepts and Ontology of SiSL: A Situation-Centric Specification Language | IEEE Conference Publication | IEEE Xplore