%0 Conference Proceedings %F FWZKS07Date %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 %B ACM/IEEE Design, Automation and Test in Europe Conference (DATE 2007) %C Acropolis, Nice, France %D 2007 %U http://www.eecs.berkeley.edu/~tfeng/papers/fwzks07date.pdf