Leram - Modeling and Verification of Real-time Systems: Formalisms and Software Tools