Models used in the experimental results of
B. Cook, J. Fisher, B. Hall, S. Ishtiaq, G. Juniwal, and N. Piterman
Finding instability in biological models
Proceedings of 26th International Conference on Computer Aided Verification (to appear).