On the Adequacy of Performance Models in an Adaptive Border Inspection Management System | IEEE Conference Publication | IEEE Xplore