Real-Time Maude: A tool for simulating and analyzing realtime and hybrid systems (2000)

by P C Ölveczky, J Meseguer
Venue:Proceedings of 3rd International Workshop on Rewriting Logic and its Applications (WRLA’00), volume 36 of Electronic Notes in Theoretical Computer Science