Foundations for Stepwise Construction of State Transition Models