Animate the model based on its dynamics

Build the STG underlying parts of a HTG

Compute the Strongly Connected Components Graph