Verena Wolf*, Rushil Goel, Maria Mateescu and Thomas A Henzinger
* Corresponding author: Verena Wolf wolf@cs.uni-sb.de
BMC Systems Biology 2010, 4:42 doi:10.1186/1752-0509-4-42