Transforming Boolean models to continuous models: methodology and application to T-cell receptor signaling | Synapse