Interactive presentation: Automatic model generation for black box real-time systems. - Thomas Huining Feng; Lynn Wang; Wei Zheng; Sri Kanajan; Sanjit A. Seshia (DATE, 2007)