An environment-driven ontological approach to requirements elicitation for safety-critical systems | IEEE Conference Publication | IEEE Xplore