Specification-Guided Automated Debugging of CPS Models | IEEE Journals & Magazine | IEEE Xplore