Tool paper "REVERT: A Monitor Generation Tool for Real-Time Systems" accepted for IEEE Real-Time Systems Symposium (RTSS) conference. This is to be held in Porto, Portugal from November 29 - December 2, 2016. Authors are: Sangeeth, Dr. Nellisen, Dr. Pereira, and Dr. Purandare.