Transition system (crashing)