Oris: a Tool for Modeling, Verification and Evaluation of Real-Time Systems