Qinsi Wang, Natasa Miskov-Zivanov, Bing Liu, James R. Faeder, Michael Lotze, Edmund M. Clarke: Formal Modeling and Analysis of Pancreatic Cancer Microenvironment. CMSB 2016: 289-305