Yang, Dhadyalla, Marco, Jennings, 2018. The Effect of Time-Between-Events for Sequence Interaction Testing of a Real-Time System, in: . IEEE.. https://doi.org/10.1109/icstw.2018.00069