Peter Csaba Ölveczky, José Meseguer
Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems
WRLA, 2000.
@article{WRLA-2000-OlveczkyM,
author = "Peter Csaba Ölveczky and José Meseguer",
doi = "10.1016/S1571-0661(05)80134-3",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "361--382",
title = "{Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems}",
volume = 36,
year = 2000,
}