real-time maude / logical-rt-maude