@incollection{SATACAS15,
  title = "Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance",
  author = "{Esmaeil Zadeh Soudjani}, S. and Abate, A.",
  year = "2014",
  booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",
  editor = "\'{A}brah\'{a}m, Erika and Havelund, Klaus",
  isbn = "978-3-642-54861-1",
  language = "English",
  pages = "547-561",
  publisher = "Springer Berlin Heidelberg",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-642-54862-8_45",
  volume = "8413",
  doi = "10.1007/978-3-642-54862-8_45",
}