Specification of Real-Time and Hybrid Systems in Rewriting Logic (1999)

by Peter Csaba Olveczky, Peter Csaba, José Meseguer