Simulation-Based Debugging of Formal Environment Models | IEEE Conference Publication | IEEE Xplore