Specification of real-time and hybrid systems in rewriting logic