. "finite transition systems" . . "finite transition systems" .