Boolean modelling as a logic-based dynamic approach in systems medicine | Synapse