%0 Conference Proceedings
%F BOFT09RTMaude
%A Bae, Kyungmin
%A Ölveczky, Peter Csaba
%A Feng, Thomas Huining
%A Tripakis, Stavros
%T Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude
%B IEEE International Conference on Formal Engineering Methods (ICFEM 2009)
%C Rio de Janeiro, Brazil
%D 2009
%U http://www.eecs.berkeley.edu/~tfeng/papers/boft09rtmaude.pdf