Inspecting State Machines