A. B. Marques, S. D. J. Barbosa, and T. U. Conte, “Defining a notation for usability-oriented interaction and navigation modeling for interactive systems”, JIS, vol. 8, no. 2, Dec. 2017.