Tractable Compositions of Discrete-Time Control Barrier Functions with Application to Driving Safety Control | IEEE Conference Publication | IEEE Xplore