"kontrollprosedyre" er et 17-bokstavers substantiv som brukes som synonym for "dekkundersøkingene". dekkundersøkingene betyr: En fast prosedyre for å kontrollere.