publication venue for Ontology-based Reasoning about the Trustworthiness of Cyber-physical Systems 2018