Model checking in-the-loop: Finding counterexamples by systematic simulation | IEEE Conference Publication | IEEE Xplore