Formal aspects of model validity and validation in system dynamics - Barlas, Y (System Dynamics Review, 1996)