Framework core to analyze FSMs