@incollection{Baier_2000,
    doi = {10.1007/10722167_28},
    url = {https://doi.org/10.1007%2F10722167_28},
    year = {2000},
    publisher = {Springer Berlin Heidelberg},
    pages = {358--372},
    author = {Christel Baier and Boudewijn Haverkort and Holger Hermanns and Joost-Pieter Katoen},
    title = {Model Checking Continuous-Time Markov Chains by Transient Analysis},
    booktitle = {Computer Aided Verification}
}

@incollection{Baier_2000, doi = {10.1007/10722167_28}, url = {https://doi.org/10.1007%2F10722167_28}, year = {2000}, publisher = {Springer Berlin Heidelberg}, pages = {358--372}, author = {Christel Baier and Boudewijn Haverkort and Holger Hermanns and Joost-Pieter Katoen}, title = {Model Checking Continuous-Time Markov Chains by Transient Analysis}, booktitle = {Computer Aided Verification} }