If-what analysis to manage batch systems | IEEE Conference Publication | IEEE Xplore