Probabilistic Formal Modelling to Uncover and Interpret Interaction Styles