Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version) | Arena Library | Arena