Email (record): Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction