Aviation safety: modeling and analyzing complex interactions between humans and automated systems.