Distributed Hybrid Automata for Modeling and Performances Evaluation of a Multimodal Transportation System | IEEE Conference Publication | IEEE Xplore