A Modelling Framework for Managing Risk-Based Checkpoint Screening Systems with Two-Type Inspection Queues | IEEE Conference Publication | IEEE Xplore