Text this: Validation of qualitative models of genetic regulatory networks by model checking