Formal modeling and analysis of safety-critical human multitasking

G Broccia, P Milazzo, PC Ölveczky - Innovations in Systems and Software …, 2019 - Springer
When a person is concurrently interacting with different systems, the amount of cognitive
resources required (cognitive load) could be too high and might prevent some tasks from …

Validation of a simulation algorithm for safety-critical human multitasking

G Broccia, P Milazzo, C Belviso, CB Montiel - Formal Methods. FM 2019 …, 2020 - Springer
Multitasking has become surprisingly present in our life. This is mostly due to the fact that
nowadays most of our activities involve the interaction with one or more devices. In such a …