Modelling and Analysing Qualitative Biological Models using Rewriting Logic. - Abdullah Alhumaidan; Jason Steggles (Fundam. Informaticae, 2017)