%0 Journal Article
%F BOFLT11RTMaude
%A Bae, Kyungmin
%A Ölveczky, Peter Csaba
%A Feng, Thomas Huining
%A Lee, Edward A.
%A Tripakis, Stavros
%T Verifying Hierarchical Ptolemy II Discrete-Event Models using Real-Time Maude
%J Science of Computer Programming (In Press)
%D 2011
%U http://www.eecs.berkeley.edu/~tfeng/papers/boflt11rtmaude.pdf