An agile verification framework for traffic sign classification algorithms in heavy vehicles | IEEE Conference Publication | IEEE Xplore