State-Based Probabilistic Scheduling Using Stroboscope's CPM Add-On