State-dependent M/G/1/K queuing model for hard disk drives | IEEE Conference Publication | IEEE Xplore