Real-Time Maude has been developed by Peter Csaba Ölveczky and José Meseguer. Please send suggestions, comments, etc., to peterol@ifi.uio.no.