Modelling biological pathway dynamics with Timed Automata | IEEE Conference Publication | IEEE Xplore