An agent-based formal framework for modeling and simulating supply chains | IEEE Conference Publication | IEEE Xplore