real-time maude / pta2maude