The following publications are possibly variants of this publication:
- Formal Semantics and Analysis of Behavioral AADL Models in Real-Time MaudePeter Csaba Ölveczky, Artur Boronat, José Meseguer. forte 2010: 47-62 [doi]
- Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time MaudePeter Csaba Ölveczky, Marco Caccamo. FASE 2006: 357-372 [doi]
- Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time MaudePeter Csaba Ölveczky, Martin Grimeland. ipps 2007: 1-8 [doi]
- Maude: specification and programming in rewriting logicManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada. TCS, 285(2):187-243, 2002. [doi]
- Formal modeling and analysis of wireless sensor network algorithms in Real-Time MaudePeter Csaba Ölveczky, Stian Thorvaldsen. ipps 2006: [doi]