Expert knowledge elicitation to improve mental and formal models · Study