@inproceedings{chartier2018businessprocesses,
author	=	{Leo Chartier and Paolo Ballarini and Michel Batteux and Antoine Rauzy},
title	=	{Analysis of business process specifications with OpenAltarica},
booktitle	=	{IEEE International Symposium on Systems Engineering (ISSE 2018)},
publisher	=	{IEEE},
address	=	{Roma, Italy},
month	=	{October},
year	=	{2018}
}