Guevara, Leonardo, Khalid, Muhammad, Hanheide, Marc, Parsons, Simon, "Probabilistic model-checking of collaborative robots: a human injury assessment in agricultural applications", Computers and Electronics in Agriculture, 2024