Interoperability Testing Based on TTCN-3 for V2G Communication Interfaces | IEEE Conference Publication | IEEE Xplore