Can we do more with less ? Qualitative discrete-event models of ecological systems and their formal analysis