Model-based reasoning in science, technology, and medicine - Magnani, Lorenzo.; Li, Ping, (Springer,)