Discrete event systems specification in systems biology - a discussion of stochastic pi calculus and DEVS | IEEE Conference Publication | IEEE Xplore