Glossary

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