ReSA: An ontology-based requirement specification language tailored to automotive systems | IEEE Conference Publication | IEEE Xplore