Conference paperMobiGolog: Formal task modelling for testing user gestures interaction in mobile applications