Reverse Engineering of Real-Time System Models From Event Trace Recordings | Digital Library | PAMCET | PAMCET