====== Glossary ======

  * Stuttering (steps): steps in which the state of the system does not change.