Modeling and Management of Signal Transduction Pathways with Live Sequence Charts | IEEE Conference Publication | IEEE Xplore