Forehead electrodes sufficiently detect propofol-induced slow waves for the assessment of brain function after cardiac arrest