Model-based reasoning in science, technology, and medicine - Magnani, Lorenzo; Li, Ping (Studies in computational intelligence, 2007)