Direct access storage device (DASD) modeling and validation | IEEE Conference Publication | IEEE Xplore