A graphical language for describing complex system behavior: applications to design, training and user operation | IEEE Conference Publication | IEEE Xplore