"The Real-Time Maude Tool."

Peter Csaba Ölveczky, José Meseguer (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics