Modeling Multi-agent Logistic Process System using Hybrid Automata In Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 0ICEIS, 141-149, 2008 , Barcelona, Spain