@TechReport{alexmer,
  author = "Tingting Han and Joost-Pieter Katoen and Alexandru Mereacre",
  title = "Compositional {M}odeling and {M}inimization of {T}ime-{I}nhomogeneous {M}arkov {C}hains",
  institution = "RWTH Aachen",
  year = "2007",
  number = "AIB-2007-21",
  month = dec,
  url = "http://aib.informatik.rwth-aachen.de/2007/2007-21.ps.gz",
}