Formal Cognitive Resource Model: Modeling of human behavior in complex work environments | IEEE Conference Publication | IEEE Xplore