Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way | Publicación