Scenario based Analysis of Linear Computations.
В. А. Филатов, Rostislav Yavorskiy · 2005
state machine, characterize the subsets of initial values corresponding to different typical scenarios of the system behavior. In order to solve it we suggest formalization of the notion of scenario and then discuss possible approaches to the classification of the computations. 1