Modeling and Verifying WNT Signaling Pathway | IEEE Conference Publication | IEEE Xplore