Formal concept analysis for system awareness of operators | IEEE Conference Publication | IEEE Xplore