Mathematical Representation for Reliability of Sensing-Based Semi-Persistent Scheduling in LTE-V2X | IEEE Journals & Magazine | IEEE Xplore