Poster: VeriCharge: Towards A Formal Framework for Designing and Verifying Secure and Transparent Vehicle-to-Vehicle Transaction Platforms | IEEE Conference Publication | IEEE Xplore