An environment-driven ontological approach to requirements elicitation for safety-critical systems