AEROSONIC CORP /DE/