Title: CONSTRUCTION AND MANIPULATION OF FORMAL DYNAMICS MODELS