Title: State Models of Dynamic Systems