File:Model Checking and Systems Biology-wikipedia entry.png