Systematic Testing of Reactive Software with Non-Deterministic Events: A Case Study on LG Electric Oven | IEEE Conference Publication | IEEE Xplore