Model-Based Test Case Generation by Reusing Models From Runtime Monitoring of Deeply Embedded Systems | IEEE Journals & Magazine | IEEE Xplore