@article{HJW11,
title = {Formalisms for Specifying Markovian Population Models },
author = {Henzinger, Thomas A. and Jobstmann, Barbara and Wolf, Verena},
year = {2011},
journal = {Int. J. Found. Comput. Sci.},
number = {4},
pages = {823-841},
volume = {22},
team = {DCS},
}