Analysing RoboChart with Probabilities. - Madiel S. Conserva Filho; R. Marinho; Alexandre Mota 001; Jim Woodcock 001 (SBMF, 2018)