High-level modeling and verification of cellular signaling | IEEE Conference Publication | IEEE Xplore