SimTester: a controllable and observable testing framework for embedded systems