Model Checking for Gaze Pattern Recognition. - Ari Rodriguez; Everardo Bárcenas; Guillermo Molero-Castillo (CONIELECOMP, 2019)