Model-based reasoning: a principled approach for software engineering

M. H. Lee. Model-based reasoning: a principled approach for software engineering. Software - Concepts and Tools, 19(4):179-189, 2000. [doi]