A scenario is a sequence of related transition events $(e_1, e_2, \ldots, e_n)$ on a state set S such that $e_k = (s_k, s_{k + 1})$ for $1 \leq k \leq n$