An overview of fluoride-based solid lubricants in sliding contacts