Real-Time Maude

A programming language and tool, based on Maude, supporting the formal specification and analysis of real-time and hybrid systems, with an execution environment for a real-time extension of the Actor model.