To run the code

1. Download and install Maude 2.7.1 from: https://maude.cs.illinois.edu/wiki/The_Maude_System
   (Real-Time Maude does not work with Maude 3)

2. Download Real-Time Maude from: https://olveczky.se/RealTimeMaude/
   and copy it in the Maude directory.

3. Start the Maude system. The following prompt should appear:
   maude>

4. Start Real-Time Maude:
   maude> load real-time-maude
   
5. Load the example
   maude> load example-registration-lts.maude