Modeling concurrency and reconfiguration in vehicular systems: A π-calculus approach | IEEE Conference Publication | IEEE Xplore