@article{batteux2022abstractexecutions,
author	=	{Michel Batteux and Tatiana Prosvirnova and Antoine Rauzy},
title	=	{Abstract Executions of Stochastic Discrete Event Systems},
journal	=	{International Journal of Critical Computer-Based Systems},
publisher	=	{Inderscience Publishers},
volume	=	{10},
number	=	{3},
pages	=	{202--226},
doi	=	{10.1504/IJCCBS.2022.10045574},
year	=	{2022},
pdffile	=	{BatteuxProsvirnovaRauzy2018-AbstractExecutions.pdf}
}