A lower bound for the correct subset-selection probability and its application to discrete-event system simulations | IEEE Journals & Magazine | IEEE Xplore