Marques, A.B., Barbosa, S.D.J. and Conte, T.U. 2017. Defining a notation for usability-oriented interaction and navigation modeling for interactive systems. Journal on Interactive Systems. 8, 2 (Dec. 2017). DOI:https://doi.org/10.5753/jis.2017.681.