{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T04:32:13Z","timestamp":1648960333520},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,4,11]],"date-time":"2014-04-11T00:00:00Z","timestamp":1397174400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1007\/s11047-014-9419-8","type":"journal-article","created":{"date-parts":[[2014,4,10]],"date-time":"2014-04-10T10:22:45Z","timestamp":1397125365000},"page":"341-354","source":"Crossref","is-referenced-by-count":1,"title":["Combining flux balance analysis and model checking for metabolic network validation and analysis"],"prefix":"10.1007","volume":"14","author":[{"given":"Roberto","family":"Pagliarini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mara","family":"Sangiovanni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adriano","family":"Peron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego","family":"di Bernardo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,4,11]]},"reference":[{"issue":"5903","key":"9419_CR1","doi-asserted-by":"crossref","first-page":"881","DOI":"10.1126\/science.1156409","volume":"322","author":"D Altshuler","year":"2008","unstructured":"Altshuler D, Daly MJ, Lander ES (2008) Genetic mapping in human disease. Science (New York, N.Y.) 322(5903):881\u2013888","journal-title":"Science (New York, N.Y.)"},{"key":"9419_CR2","volume-title":"Principles of model checking","author":"C Baier","year":"2008","unstructured":"Baier C, Katoen J (2008) Principles of Model Checking. The MIT Press, \u00a0Cambridge"},{"key":"9419_CR3","doi-asserted-by":"crossref","unstructured":"Balsara Z, Roach S (2005) Prediction of inherited and genetic mutations using the software model checker SPIN. In: Haddad H, Liebrock LM, Omicini A, Wainwright RL (eds) SAC. ACM, New York, pp 208\u2013209","DOI":"10.1145\/1066677.1066727"},{"issue":"1","key":"9419_CR4","doi-asserted-by":"crossref","first-page":"180+","DOI":"10.1186\/1752-0509-5-180","volume":"5","author":"A Bordbar","year":"2011","unstructured":"Bordbar A, Feist AM, Usaite-Black R, Woodcock J, Palsson BO, Famili I (2011) A multi-tissue type genome-scale metabolic network for analysis of whole-body systems physiology. BMC Syst Biol 5(1):180+","journal-title":"BMC Syst Biol"},{"key":"9419_CR5","doi-asserted-by":"crossref","unstructured":"Brim L, \u010ce\u0161ka M, \u0160afr\u00e1nek D (2013) Model checking of biological systems. Formal methods for dynamical systems, Springer, pp 63\u2013112","DOI":"10.1007\/978-3-642-38874-3_3"},{"issue":"Suppl 1","key":"9419_CR6","doi-asserted-by":"crossref","first-page":"D685","DOI":"10.1093\/nar\/gkq1039","volume":"39","author":"EG Cerami","year":"2011","unstructured":"Cerami EG, Gross BE, Demir E, Rodchenkov I, Babur \u00d6, Anwar N, Schultz N, Bader GD, Sander C (2011) Pathway commons, a web resource for biological pathway data. Nucleic Acids Res 39(Suppl 1):D685\u2013D690","journal-title":"Nucleic Acids Res"},{"key":"9419_CR7","doi-asserted-by":"crossref","unstructured":"Cimatti A, Clarke E, Giunchiglia E, Giunchiglia F, Pistore M, Roveri M, Sebastiani R, Tacchella A (2002) Nusmv 2: an opensource tool for symbolic model checking. In: Computer aided verification,Springer, pp 359\u2013364","DOI":"10.1007\/3-540-45657-0_29"},{"key":"9419_CR8","volume-title":"Model checking","author":"EM Clarke","year":"1999","unstructured":"Clarke EM, Grumberg O, Peled DA (1999) Model checking. MIT Press, \u00a0Cambridge"},{"issue":"7","key":"9419_CR9","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1056\/NEJMra1301564","volume":"369","author":"P Cochat","year":"2013","unstructured":"Cochat P, Rumsby G (2013) Primary hyperoxaluria. N Engl J Med 369(7):649\u2013658","journal-title":"N Engl J Med"},{"issue":"7107","key":"9419_CR10","doi-asserted-by":"crossref","first-page":"810","DOI":"10.1016\/S0140-6736(59)90752-4","volume":"274","author":"JC Crawhall","year":"1959","unstructured":"Crawhall JC, Scowen EF, De Mowbray RR, Watts RWE (1959) Conversion of glycine to oxalate in normal subject. The Lancet, 274(7107):810 Originally published as Volume 2, Issue 7107","journal-title":"Lancet"},{"issue":"12","key":"9419_CR11","doi-asserted-by":"crossref","first-page":"1776","DOI":"10.1016\/j.bbamcr.2006.08.021","volume":"1763","author":"CJ Danpure","year":"2006","unstructured":"Danpure CJ (2006) Primary hyperoxaluria type 1: Agt mistargeting highlights the fundamental differences between the peroxisomal and mitochondrial protein import pathways. Biochimica et Biophysica Acta (BBA) - Mol Cell Res 1763(12):1776\u20131784","journal-title":"Biochimica et Biophysica Acta (BBA) - Molecular Cell Research"},{"issue":"1","key":"9419_CR12","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1016\/0014-5793(86)80563-4","volume":"201","author":"CJ Danpure","year":"1986","unstructured":"Danpure CJ, Jennings PR (1986) Peroxisomal alanine:glyoxylate aminotransferase deficiency in primary hyperoxaluria type i. FEBS Lett 201(1):20\u201334","journal-title":"FEBS Lett"},{"issue":"6","key":"9419_CR13","doi-asserted-by":"crossref","first-page":"1777","DOI":"10.1073\/pnas.0610772104","volume":"104","author":"NC Duarte","year":"2007","unstructured":"Duarte NC, Becker SA, Jamshidi N, Thiele I, Mo ML, Vo TD, Srivas R, Palsson B (2007) Global reconstruction of the human metabolic network based on genomic and bibliomic data. Proc Natl Acad Sci 104(6):1777\u20131782","journal-title":"Proc Natl Acad Sci"},{"issue":"8","key":"9419_CR14","doi-asserted-by":"crossref","first-page":"1337","DOI":"10.1172\/JCI104151","volume":"39","author":"TD Elder","year":"1960","unstructured":"Elder TD, Wyngaarden JB (1960) The biosynthesis and turnover of oxalate in normal and hyperoxaluric subjects *. J Clin Investig 39(8):1337\u20131344 8","journal-title":"J Clin Investig"},{"key":"9419_CR15","doi-asserted-by":"crossref","unstructured":"Emerson EA (2008) The beginning of model checking: a personal perspective. In: 25 Years of Model Checking, Springer, pp 27\u201345","DOI":"10.1007\/978-3-540-69850-0_2"},{"key":"9419_CR16","unstructured":"Emerson EA, Clarke EM (1982) Using branching time temporal logic to synthesize synchronization skeletons. Sci Comput Progr, 2(3):241\u2013266, 1982. cited By (since 1996)188."},{"key":"9419_CR17","doi-asserted-by":"crossref","unstructured":"Folger O, Jerby L, Frezza C, Gottlieb E, Ruppin E, Shlomi T (2011) Predicting selective drug targets in cancer through metabolic networks. Mol Syst Biol 7:501","DOI":"10.1038\/msb.2011.35"},{"key":"9419_CR18","doi-asserted-by":"crossref","unstructured":"Gille C, Bolling C, Hoppe A, Bulik S, Hoffmann S, Hubner K, Karlstadt A, Ganeshan R, Konig M, Rother K, Weidlich M, Behre J, Holzhutter H (2010) HepatoNet1: a comprehensive metabolic reconstruction of the human hepatocyte for the analysis of liver physiology. Mol Syst Biol 6(1)","DOI":"10.1038\/msb.2010.62"},{"issue":"5602","key":"9419_CR19","doi-asserted-by":"crossref","first-page":"2345","DOI":"10.1126\/science.1076641","volume":"298","author":"AM Glazier","year":"2002","unstructured":"Glazier AM, Nadeau JH, Aitman TJ (2002) Finding genes that underlie complex traits. Science 298(5602):2345\u20132349","journal-title":"Science"},{"issue":"5","key":"9419_CR20","doi-asserted-by":"crossref","first-page":"1617","DOI":"10.1016\/S0022-5347(01)62363-2","volume":"160","author":"PH Ross","year":"1998","unstructured":"Ross PH, Dean GA (1998) Glyoxylate synthesis, and its modulation and influence on oxalate synthesis. J Urol 160(5):1617\u20131624","journal-title":"J Urol"},{"key":"9419_CR21","doi-asserted-by":"crossref","unstructured":"Holmes RP, Knight J, Assimos DG (2007) Origin of urinary oxalate. In: AIP Conference proceedings, vol 900(1)","DOI":"10.1063\/1.2723574"},{"issue":"14","key":"9419_CR22","doi-asserted-by":"crossref","first-page":"2905","DOI":"10.1111\/j.1432-1033.2004.04213.x","volume":"271","author":"HG Holzh\u00fctter","year":"2004","unstructured":"Holzh\u00fctter HG (2004) The principle of flux minimization and its application to estimate stationary fluxes in metabolic networks. Eur J Biochem 271(14):2905\u20132922","journal-title":"Eur J Biochem"},{"key":"9419_CR23","unstructured":"Holzmann GJ (2003) The SPIN model checker: Primer and reference manual. Addison-Wesley Professional, 1 edn"},{"issue":"6","key":"9419_CR24","doi-asserted-by":"crossref","first-page":"845","DOI":"10.1109\/TSE.2010.110","volume":"37","author":"GJ Holzmann","year":"2011","unstructured":"Holzmann GJ, Joshi R, Groce A (2011) Swarm verification techniques. IEEE Trans Softw Eng 37(6):845\u2013857","journal-title":"IEEE Trans Softw Eng"},{"issue":"1","key":"9419_CR25","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1146\/annurev.genom.2.1.343","volume":"2","author":"T Ideker","year":"2001","unstructured":"Ideker T, Galitski T, Hood L (2001) A new approach to decoding life: systems biology. Annu Rev Genomics Hum Genet 2(1):343\u2013372","journal-title":"Annu Rev Genomics Hum Genet"},{"key":"9419_CR26","doi-asserted-by":"crossref","unstructured":"Jerby L, Shlomi T, Ruppin E (2010) Computational reconstruction of tissue-specific metabolic models: application to human liver metabolism. Mol Syst Biol 6(1)","DOI":"10.1038\/msb.2010.56"},{"issue":"1","key":"9419_CR27","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1093\/nar\/28.1.27","volume":"28","author":"M Kanehisa","year":"2000","unstructured":"Kanehisa M, Goto S (2000) KEGG: Kyoto encyclopedia of genes and genomes. Nucleic Acids Res 28(1):27\u201330","journal-title":"Nucleic Acids Res"},{"issue":"5560","key":"9419_CR28","doi-asserted-by":"crossref","first-page":"1662","DOI":"10.1126\/science.1069492","volume":"295","author":"H Kitano","year":"2002","unstructured":"Kitano H (2002) Systems biology: a brief overview. Science 295(5560):1662\u20131664","journal-title":"Science"},{"issue":"6","key":"9419_CR29","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1038\/nrg1880","volume":"7","author":"B Lanpher","year":"2006","unstructured":"Lanpher B, Brunetti-Pierri N, Lee B (2006) Inborn errors of metabolism: the flux from mendelian to complex diseases. Nat Rev Genet 7(6):449\u2013459","journal-title":"Nat Rev Genet"},{"issue":"1","key":"9419_CR30","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen KG, Pettersson P, Yi W (1997) Uppaal in a nutshell. Int J Softw Tools Technol Transf (STTT) 1(1):134\u2013152","journal-title":"Int J Softw Tools Technol Transf (STTT)"},{"issue":"4","key":"9419_CR31","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1038\/nrmicro2737","volume":"10","author":"NE Lewis","year":"2012","unstructured":"Lewis NE, Nagarajan H, Palsson BO (2012) Constraining the metabolic genotype-phenotype relationship using a phylogeny of in silico methods. Nat Rev Micro 10(4):291\u2013305","journal-title":"Nat Rev Micro"},{"key":"9419_CR32","doi-asserted-by":"crossref","unstructured":"Ma H, Sorokin A, Mazein A, Selkov A, Selkov E, Demin O, Goryanin I (2007). The edinburgh human metabolic network reconstruction and its functional analysis. Mol Syst Biol, 3(1)","DOI":"10.1038\/msb4100177"},{"issue":"Suppl 1","key":"9419_CR33","doi-asserted-by":"crossref","first-page":"D619","DOI":"10.1093\/nar\/gkn863","volume":"37","author":"L Matthews","year":"2009","unstructured":"Matthews L, Gopinath G, Gillespie M, Caudy M, Croft D, de Bono B, Garapati P, Hemish J, Hermjakob H, Jassal B, Kanapin A, Lewis S, Mahajan S, May B, Schmidt E, Vastrik I, Wu G, Birney E, Stein L, D\u2019Eustachio P (2009) Reactome knowledgebase of human biological pathways and processes. Nucleic Acids Res 37(Suppl 1):D619\u2013D622","journal-title":"Nucleic Acids Res"},{"key":"9419_CR34","doi-asserted-by":"crossref","unstructured":"Melham T (2012) Modelling, abstraction, and computation in systems biology: a view from computer science, Prog Biophys Mol Biol 111(2):129\u2013136","DOI":"10.1016\/j.pbiomolbio.2012.08.015"},{"key":"9419_CR35","doi-asserted-by":"crossref","unstructured":"Mysore V, Mishra B (2007) Algorithmic algebraic model checking iv: Characterization of metabolic networks. In Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia (eds) AB, volume 4545 of Lecture notes in computer science. Springer, New York, pp 170\u2013184","DOI":"10.1007\/978-3-540-73433-8_13"},{"key":"9419_CR36","doi-asserted-by":"crossref","unstructured":"Oberhardt MA, Palsson BO, Papin JA (2009) Applications of genome-scale metabolic reconstructions. Mol Syst Biol 5:320","DOI":"10.1038\/msb.2009.77"},{"issue":"3","key":"9419_CR37","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1038\/nbt.1614","volume":"28","author":"JD Orth","year":"2010","unstructured":"Orth JD, Thiele I, Palsson BO (2010) What is flux balance analysis? Nat Biotechnol 28(3):245\u2013248","journal-title":"Nat Biotechnol"},{"issue":"5","key":"9419_CR38","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1089\/cmb.2012.0276","volume":"20","author":"R Pagliarini","year":"2013","unstructured":"Pagliarini R, di Bernardo D (2013) A genome-scale modeling approach to study inborn errors of liver metabolism: toward an in silico patient. J Comput Biol 20(5):383\u2013397","journal-title":"J Comput Biol"},{"key":"9419_CR39","doi-asserted-by":"crossref","unstructured":"Pnueli A (1977) The temporal logic of programs. In Foundations of computer science, 1977, 18th Annual symposium on, pp 46\u201357","DOI":"10.1109\/SFCS.1977.32"},{"key":"9419_CR40","doi-asserted-by":"crossref","unstructured":"Shlomi T, Benyamini T, Gottlieb E, Sharan R, Ruppin E (2011) Genome-Scale metabolic modeling elucidates the role of proliferative adaptation in causing the warburg effect. PLoS Comput Biol 7(3):e1002018+","DOI":"10.1371\/journal.pcbi.1002018"},{"key":"9419_CR41","doi-asserted-by":"crossref","unstructured":"Shlomi T, Cabili MN, Ruppin E (2009) Predicting metabolic biomarkers of human inborn errors of metabolism. Mol Syst Biol 5(1)","DOI":"10.1038\/msb.2009.22"},{"key":"9419_CR42","doi-asserted-by":"crossref","unstructured":"Thiele I, Swainston N, Fleming RMT, Hoppe A, Sahoo S, Aurich MK, Haraldsdottir H, Mo ML, Or Rolfsson, Stobbe MD, Thorleifsson SG, Agren R, Bolling C, Bordel S, Chavali AK, Dobson P, Dunn WB, Endler L, Hala D, Hucka M, Hull D, Jameson D, Jamshidi N, Jonsson JJ, Juty N, Keating S, Nookaew I, Le Novere N, Malys N, Mazein A, Papin JA, Price ND, Selkov E, Sigurdsson MI, Simeonidis E, Sonnenschein N, Smallbone K, Sorokin A, van Beek JHGM, Weichart D, Goryanin I, Nielsen J, Westerhoff HV, Kell DB, Mendes P, Palsson BO (2013) A community-driven global reconstruction of human metabolism. Nat Biotechnol 31(5):419\u2013425","DOI":"10.1038\/nbt.2488"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-014-9419-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11047-014-9419-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-014-9419-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,9]],"date-time":"2019-08-09T07:29:22Z","timestamp":1565335762000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11047-014-9419-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,11]]},"references-count":42,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,9]]}},"alternative-id":["9419"],"URL":"https:\/\/doi.org\/10.1007\/s11047-014-9419-8","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"value":"1567-7818","type":"print"},{"value":"1572-9796","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,4,11]]}}}