@misc{Ell2012,Author = {Ellen, Christian and Fränzle, Martin and Gerwinn, Sebastian and Müllner, Nils},Title = {Modeling TCL via DTMC},Year = {2012},Month = {09},Organization = {Scottish Informatics \& Computer Science Alliance},type = {misc}}@COMMENT{Bibtex file generated on }