An introduction to kinetic, constraint-based and Boolean modeling in systems biology | IEEE Conference Publication | IEEE Xplore