internal Software(ExecutionModel executionModel) { this.executionModel = executionModel; }
public Tester(ExecutionModel automata) : base(automata) { }
internal Software(Action main) { this.executionModel = new ExecutionModel(new Program(main)); }
public Participant(ExecutionModel automata) { }