SyQUAL: a platform for qualitative modelling and simulation of biological systems | IEEE Conference Publication | IEEE Xplore