Trace preservation in B and Event-B refinements - Stock, Sebastian; Mashkoor, Atif; Leuschel, Michael; Egyed, Alexander (Journal of logical and algebraic methods in programming, 2024)