Expert knowledge elicitation to improve formal and mental models | Synapse