CONVINCE: a cross-layer modeling, exploration and validation framework for next-generation connected vehicles.