EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation | IEEE Conference Publication | IEEE Xplore