An analytical performance and power model based on the transition probability for hard disks | IEEE Conference Publication | IEEE Xplore