Describir: Analysis of Dynamic System Properties