A biological control model to manage the vector and the infection of Xylella fastidiosa on olive trees