Edinburgh Rule-Based Modelling