Model-as-You-Go for Choreographies: Rewinding and Repeating Scientific Choreographies | IEEE Journals & Magazine | IEEE Xplore