Modellierung des menschlichen Überwachungsverhaltens bei hochautomatisierten Prozeßführungsaufgaben.