Review 2: Transition Systems