Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs
ERIC BARBONI
C. MARTINIE
Marco Antônio Alba Winckler
Philippe PALANQUE