abstract state machines, as well as probabilistic models). - Methods and Tools: