SyQUAL: a platform for qualitative modelling and simulation of biological systems. - Rosario Distefano; Nickolas Goncharenko; Franco Fummi; Rosalba Giugno; Gary D. Bader; Nicola Bombieri (HLDVT, 2016)