"kontrollteknikk" er et 15-bokstavers substantiv som brukes som synonym for "aksiomsystem". aksiomsystem betyr: Teknikk for kontrollfunksjoner