Describir: Modeling and analysis of dynamic systems