Transcranial duplex sonography for monitoring circle of Willis artery occlusion in a rat embolic stroke model