A model for types and levels of human interaction with automation | Synapse