Lignende værker: Reverse Engineering of Real-Time System Models From Event Trace Recordings