SMS dit: Modeling and analysis of dynamic systems /