iDRAC Service Module: Remote iDRAC hard reset

How does "Remote iDRAC hard reset" work under the cover?

Is it sending IPMI commands to the BMC?

From documentation, I see a WMI method called iDRACHardReset is used but what is that method doing?

(search for iDRACHardReset in the doc)

http://www.dell.com/support/manuals/us/en/19/idrac7-8-lifecycle-controller-v2.30.30.30/iDRAC8_2.30.30.30_UG/iDRAC-Service-Module-monitoring-features?guid=GUID-59B59CC6-9500-4D1B-AA9F-1B1CB78D09B8&lang=en-us