Using the SCADE Toolchain to Generate Requirements-Based Test Cases for an Adaptive Cruise Control System | IEEE Conference Publication | IEEE Xplore