@article{ citekey2167,
author = {C. Kaleta and S. Richter and P. Dittrich},
title = {Using chemical organization theory for model checking},
journal = {Bioinformatics},
year = {2009},
volume = {25},
pages = {1915-1922},
doi = {http://dx.doi.org/10.1093/bioinformatics/btp332},
pubmed_id = {19468053},
issue = {15}
}