Zaslat SMS: Symmetry in Modeling and Analysis of Dynamic Systems