https://ieee-dataport.org/documents/experimental-data-model-checking-c03-programs