Animating user interface prototypes with formal models - Costa, Rafael Braga Gomes da (2020)