A Novel Macro and Micro Scheduling Model for Regulated Safety Inspections Based on Probability Integral Transform and Modified Bin Packing Algorithm | IEEE Journals & Magazine | IEEE Xplore