Conditional CSL Model Checker