@ARTICLE {2568,
author={L. Schroeder and P. Mateus},
doi={},
journal={Mathematical Structures in Computer Science},
title={Universal aspects of probabilistic automata},
year={2002},
month={March},
volume={12},
number={4},
pages={481-512},
ISSN={0960-1295}
}