A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids | IEEE Conference Publication | IEEE Xplore