Brain tissue oxygen tension monitoring