Logical modelling of myelofibrotic microenvironment predicts dysregulated progenitor stem cell crosstalk