Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven Development | IEEE Conference Publication | IEEE Xplore