Skip to main content
. Author manuscript; available in PMC: 2011 May 11.
Published in final edited form as: Innov Syst Softw Eng. 2010 Mar 25;6(3):219–231. doi: 10.1007/s11334-010-0129-9

Fig. 1.

Fig. 1

Framework for the formal modeling of human–automation interaction. Arrows between models represent variables that are shared between models. The direction of the arrow indicates whether the represented variables are treated as inputs or output. If the arrow is sourced from a model, the represented variables are outputs of that model. If the arrow terminates at a model, the represented variables are inputs to that model