Complete Rare Event Specification using Stochastic Treatment: CRESST | IEEE Conference Publication | IEEE Xplore