%0 Report
%F FWZKS06Tech
%A Feng, Thomas Huining
%A Wang, Lynn
%A Zheng, Wei
%A Kanajan, Sri
%A Seshia, Sanjit A.
%T Automatic model generation for black box real-time systems
%V UCB/EECS-2006-117
%I EECS Department, University of California, Berkeley
%D 2006
%U http://www.eecs.berkeley.edu/~tfeng/papers/fwzks06tech.pdf