A qualitative modelling environment for biomedical systems