Verified Diesel Emissions Control (VDEC)