Célia Martinie, Philippe A. Palanque, Eric Barboni, Marco Winckler, Martina Ragosta, Alberto Pasquini, Paola Lanzi. Formal tasks and systems models as a tool for specifying and assessing automation designs. In Francisco Javier Saez, editor, 1st International Conference on Application and Theory of Automation in Command and Control Systems, ATACCS '11, Barcelona, Spain, May 26-27, 2011. pages 50-59, IRIT Press Toulouse, France / ACM DL, 2011. [doi]