Liang, et al.. Methods to Expand Cell Signaling Models Using Automated Reading and Model Checking. Springer International Publishing, 2017, doi:10.1007/978-3-319-67471-1_9.