Gravar-mail: Logic-Based Models for the Analysis of Cell Signaling Networks