@article{brameret2015partialmarkovchains,
author	=	{Pierre-Antoine Brameret and Antoine Rauzy and Jean-Marc Roussel},
title	=	{Automated generation of partial Markov chain from high level descriptions},
journal	=	{Reliability Engineering and System Safety},
volume	=	{139},
pages	=	{179--187},
publisher	=	{Elsevier},
month	=	{July},
year	=	{2015},
doi	=	{10.1016/j.ress.2015.02.009},
pdffile	=	{BrameretRauzyRoussel2015-GenerationPartialMarkovChains.pdf}
}