State-Trace Analysis [electronic resource] /