Recovering Behavioral Design Models from Execution Traces | Synapse