2010. Model-Based Reasoning in Science and Technology, 17-19 December. The Reasoner. 4, 1 (Jan. 2010).