A Mathematical Formalism of Hierarchical Systems for a Distributed Simulation: Case of the Nervous System | IEEE Conference Publication | IEEE Xplore