Numerical Transition Systems/General