Formally verified animation for RoboChart using interaction trees - Ye, Kangfeng; Foster, Simon; Woodcock, Jim (Journal of logical and algebraic methods in programming, 2024)