Counterexample-guided inference of controller logic from execution traces and temporal formulas | IEEE Conference Publication | IEEE Xplore