Modeling power management for hard disks | Synapse