Procedural Progression Model for Smash Time | IEEE Conference Publication | IEEE Xplore