There is a "pace car" in Formula One too, although the name is informal, the official term is "safety car"...