Validation of a Simulation Algorithm for Safety-Critical Human Multitasking. - Giovanna Broccia; Paolo Milazzo; Cristina Belviso; Carmen Berrocal Montiel (FM Workshops (1), 2019)