Stefano Filippi, Daniela Barattin: In-Depth Analysis of Non-deterministic Aspects of Human-Machine Interaction and Update of Dedicated Functional Mock-Ups. HCI (8) 2014: 185-196