Control interface introspection of FSMs