J. Swaminathan, S. Smith, and N. Sadeh. Modeling supply chain dynamics: A multiagent approach. Decision Sciences, 29(3):607–632, Summer 1998. L. Tan. <strong>An</strong> abstract schema <strong>for</strong> equivalence-checking games. In VMCAI ’02: Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation, pages 65–78, London, UK, 2002. Springer-Verlag. ISBN 3-540-43631-6. L. Tan. Model-based self-adaptive embedded systems with temporal logic specifications. In the proceedings of the 6th IEEE International Conference on Quality Software (QSIC’06), Beijing, China, October 2006. IEEE press. L. Tan and R. Cleaveland. Evidence-based model checking. In CAV’02, 2002. L. Tan and S. Xu. Model check stochastic supply chains. In IRI ’08: Proceedings of the IEEE 2008 international symposium on In<strong>for</strong>mation Reuse and Integration, pages 416–421. IEEE, 2008. ISBN 978-1-4244-2659-1. L. Tan and S. Xu. A model-checking-based approach to risk analysis in supply chain consolidations. <strong>Integrated</strong> Computer-Aided Engineering, 16(3):243–257, 2009a. L. Tan and S. Xu. <strong>An</strong> agent-based <strong>for</strong>mal framework <strong>for</strong> modeling and simulating supply chains. In the 2009 IEEE International Conference on In<strong>for</strong>mation Reuse and Integration, Auguest 2009b. L. Tan and S. Xu. Modeling and analysis of the impact of demand seasonality on post-merger synergy. In INFORMS annaul conference (INFORMS’09), San Diego, CA, October 2009c. IN- FORMS. S. Terzi and S. Cavalieri. Simulation in the supply chain context: a survey. Computers in Industry, 53(1):3–16, January 2004. the Eclipse Foundation. Eclipse. http://www.eclipse.org, since 2004. C. van Delft and J. P. Vial. A practical implementation of stochastic programming: an application to the evaluation of option contracts in supply chains. Automatica, 40(5):743 – 756, 2004. ISSN 0005-1098. F. Wang and M. Kwiatkowska. <strong>An</strong> MTBDD-based implementation of <strong>for</strong>ward reachability <strong>for</strong> probabilistic timed automata. In D. Peled and Y.-K. Tsay, editors, Proc. of ATVA’05, volume 3707 of LNCS, pages 385–399. Springer, 2005. W. Wang, J. Dong, H. Ding, C. Ren, M. Qiu, Y. Lee, and F. Cheng. <strong>An</strong> introduction to ibm general business simulation environment. In Proceedings of the 2008 Winter Simulation Conference, pages 2700–2707, Dec. 2008. L. Wei, Y. Chai, C. Ren, and J. Dong. A Research Review on Dynamic Per<strong>for</strong>mance <strong>An</strong>alysis of Supply Chain System, pages 163–167. Springer Japan, 2007. X. Wu, X. Zhong, S. Song, and C. Wu. Study on risk analysis of supply chain enterprises. Journal of Systems Engineering and Electronics, 17(4):781 – 787, 2006. ISSN 1004-4132. 3
S. Xu and L. Tan. Formal analysis of risks in stochastic supply chains. In INFORMS annual conference (INFORMS’08), Washington, DC, October 2008. INFORMS. S. Xu and L. Tan. Scheduling optimization as program verification: A software-verification-based approach to optimization problems. Under review <strong>for</strong> European Jouranl of Operations Research, 2009. 4