Keywords – transition system