Animating safety-critical automation logic and intent: a candidate design | IEEE Conference Publication | IEEE Xplore