@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 }