Lock-step simulation is child's play (experience report). - Breitner, Joachim; Smith, Chris (Proc. ACM Program. Lang., 2017)