Văn bản này: Efficient CTMC Model Checking of Linear Real−Time Objectives