Extending model checkers for hybrid system verification: the case study of SPIN | Publicación