J. D.  Garcia, Carretero, J., Pérez, J. M., Carballeira, F. G., and Filgueira, R., ?Specifying use case behavior with interaction models?, Journal of Object Technology, vol. 4, pp. 143-159, 2005.