Specification of real-time and hybrid systems in rewriting logic (2002)

by P C Ölveczky, J Meseguer
Venue:In Theoretical Com-puter Science