Behavioural types : from theory to tools - Gay, Simon; Ravara, Antonio (River Publishers series in automation, control and robotics., 2017)