My 27-year Quest to Overcome the State Explosion Problem | IEEE Conference Publication | IEEE Xplore