//tester.addListener(new VerboseListener());
double origProb = model.getTimeoutProbability();
model.setTimeoutProbability(0.3); // while exploring the FSM
GraphListener graph = tester.buildGraph();
model.setTimeoutProbability(origProb);
graph.printGraphDot("SimpleTimedLight.dot");
System.out.println("FSM has " + graph.getGraph().numVertices() + " states and "
+ graph.getGraph().numEdges() + " transitions");
CoverageMetric metric = tester.addCoverageMetric(new TransitionCoverage());
for (double prob = 0.1; prob < 0.99; prob += 0.1) {
model.setTimeoutProbability(prob);