Automated generation of requirements-based test cases for an adaptive cruise control system. - Adina Aniculaesei; Falk Howar; Peer Denecke; Andreas Rausch 001 (VST@SANER, 2018)