Formal Executable Models of Cell Signaling Primitives | IEEE Conference Publication | IEEE Xplore