Similar Items: Efficient CSL Model Checking Using Stratification