Modeling a distributed human-machine system using knowledge engineering techniques | IEEE Conference Publication | IEEE Xplore