Email Record: Logic-Based Models for the Analysis of Cell Signaling Networks