The System BioC for Reasoning about Biological Models in Action Language C | IEEE Conference Publication | IEEE Xplore