Automatic Experiments Design for Discrete Event System | IEEE Conference Publication | IEEE Xplore