{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,9]],"date-time":"2024-06-09T04:30:50Z","timestamp":1717907450533},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"1","funder":[{"name":"NWO","award":["018.003.031"],"award-info":[{"award-number":["018.003.031"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["BMC Syst Biol"],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1186\/s12918-016-0286-z","type":"journal-article","created":{"date-parts":[[2016,7,26]],"date-time":"2016-07-26T23:18:42Z","timestamp":1469575122000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Modelling with ANIMO: between fuzzy logic and differential equations"],"prefix":"10.1186","volume":"10","author":[{"given":"Stefano","family":"Schivo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jetse","family":"Scholma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul E.","family":"van der Vet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcel","family":"Karperien","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Janine N.","family":"Post","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaco","family":"van de Pol","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rom","family":"Langerak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,7,27]]},"reference":[{"issue":"11","key":"286_CR1","doi-asserted-by":"crossref","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J Fisher","year":"2007","unstructured":"Fisher J, Henzinger TA. Executable cell biology. Nat Biotechnol. 2007; 25(11):1239\u201349.","journal-title":"Nat Biotechnol"},{"issue":"1","key":"286_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1186\/2191-0855-1-45","volume":"1","author":"D Machado","year":"2011","unstructured":"Machado D, Costa RS, Rocha M, Ferreira EC, Tidor B, Rocha I. Modeling formalisms in systems biology. AMB Express. 2011; 1(1):1\u201314.","journal-title":"AMB Express"},{"issue":"3","key":"286_CR3","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/j.entcs.2007.12.001","volume":"194","author":"J Barnat","year":"2008","unstructured":"Barnat J, Brim L, \u010cern\u00e1 I, Dra\u017ean S, \u0160afr\u00e1nek D. Parallel model checking large-scale genetic regulatory networks with divine. Electron Notes Theor Comput Sci. 2008; 194(3):35\u201350. Proceedings of the First Workshop From Biology To Concurrency and back (FBTC 2007).","journal-title":"Electron Notes Theor Comput Sci"},{"key":"286_CR4","volume-title":"High Performance Computational Systems Biology, 2009. HIBI \u201909. International Workshop On","author":"L Brim","year":"2009","unstructured":"Brim L, Barnat J, \u010cern\u00e1 I, Dra\u017ean S, Fabrikov\u00e1 J, \u0160afr\u00e1nek D. Computational analysis of large-scale multi-affine ode models. In: High Performance Computational Systems Biology, 2009. HIBI \u201909. International Workshop On. Los Alamitos (CA), USA: IEEE: 2009. p. 81\u201390."},{"key":"286_CR5","volume-title":"Proceedings of the 17th International Joint Conference on Artificial Intelligence - Volume 1, IJCAI\u201901","author":"H De Jong","year":"2001","unstructured":"De Jong H, Page M, Hernandez C, Geiselmann J. Qualitative simulation of genetic regulatory networks: Method and application. In: Proceedings of the 17th International Joint Conference on Artificial Intelligence - Volume 1, IJCAI\u201901. San Francisco: Morgan Kaufmann Publishers Inc.: 2001. p. 67\u201373."},{"issue":"1","key":"286_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1186\/1471-2105-8-462","volume":"8","author":"A Di Cara","year":"2007","unstructured":"Di Cara A, Garg A, De Micheli G, Xenarios I, Mendoza L. Dynamic simulation of regulatory networks using squad. BMC Bioinforma. 2007; 8(1):1\u201310.","journal-title":"BMC Bioinforma"},{"issue":"33-34","key":"286_CR7","doi-asserted-by":"crossref","first-page":"3128","DOI":"10.1016\/j.tcs.2009.02.017","volume":"410","author":"J Barnat","year":"2009","unstructured":"Barnat J, Brim L, \u010cern\u00e1 I, Dra\u017ean S, Fabrikov\u00e1 J, \u0160afr\u00e1nek D. On algorithmic analysis of transcriptional regulation by {LTL} model checking. Theor Comput Sci. 2009; 410(33-34):3128\u201348. Concurrent Systems Biology: To Nadia Busi (1968\u20132007).","journal-title":"Theor Comput Sci"},{"issue":"16","key":"286_CR8","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1093\/bioinformatics\/btn275","volume":"24","author":"PT Monteiro","year":"2008","unstructured":"Monteiro PT, Ropers D, Mateescu R, Freitas AT, de Jong H. Temporal logic patterns for querying dynamic models of cellular interaction networks. Bioinformatics. 2008; 24(16):227\u201333.","journal-title":"Bioinformatics"},{"issue":"2","key":"286_CR9","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill DL. A theory of timed automata. Theor Comput Sci. 1994; 126(2):183\u2013235.","journal-title":"Theor Comput Sci"},{"issue":"3","key":"286_CR10","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1109\/JBHI.2013.2292880","volume":"18","author":"S Schivo","year":"2014","unstructured":"Schivo S, Scholma J, Wanders B, Urquidi Camacho RA, van der Vet PE, Karperien M, Langerak R, van de Pol J, Post JN. Modelling biological pathway dynamics with Timed Automata. IEEE J Biomed Health Inform. 2014; 18(3):832\u20139.","journal-title":"IEEE J Biomed Health Inform"},{"issue":"1","key":"286_CR11","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/j.gene.2013.10.010","volume":"533","author":"J Scholma","year":"2014","unstructured":"Scholma J, Schivo S, Urquidi Camacho RA, van de Pol J, Karperien M, Post JN. Biological networks 101: Computational modeling for molecular biologists. Gene. 2014; 533(1):379\u201384.","journal-title":"Gene"},{"key":"286_CR12","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/978-1-60761-175-2_12","volume":"563","author":"S Killcoyne","year":"2009","unstructured":"Killcoyne S, Carter GW, Smith J, Boyle J. Cytoscape: a community-based framework for network modeling. Methods Mol Biol (Clifton, N.J.) 2009; 563:219\u201339.","journal-title":"Methods Mol Biol (Clifton, N.J.)"},{"issue":"6767","key":"286_CR13","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1038\/35002125","volume":"403","author":"MB Elowitz","year":"2000","unstructured":"Elowitz MB, Leibler S. A synthetic oscillatory network of transcriptional regulators. Nature. 2000; 403(6767):335.","journal-title":"Nature"},{"key":"286_CR14","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. UPPAAL in a nutshell. Int J Softw Tools Technol Transfer (STTT). 1997; 1:134\u201352.","journal-title":"Int J Softw Tools Technol Transfer (STTT)"},{"key":"286_CR15","volume-title":"Proceedings 1st International Workshop on Synthesis of Continuous Parameters, Grenoble, France. Electronic Proceedings in Theoretical Computer Science, vol. 145","author":"S Schivo","year":"2014","unstructured":"Schivo S, Scholma J, Karperien HBJ, Post JN, van de Pol JC, Langerak R. Setting parameters for biological models with ANIMO In: Andr\u00e9 E, Frehse G, editors. Proceedings 1st International Workshop on Synthesis of Continuous Parameters, Grenoble, France. Electronic Proceedings in Theoretical Computer Science, vol. 145. Australia: Open Publishing Association: 2014. p. 35\u201347."},{"key":"286_CR16","unstructured":"ANIMO. 2015. http:\/\/fmt.cs.utwente.nl\/tools\/animo . Accessed date 11 June 2016."},{"key":"286_CR17","volume-title":"Proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS\u201907","author":"G Batt","year":"2007","unstructured":"Batt G, Salah RB, Maler O. Onimed models of gene networks. In: Proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS\u201907. Berlin, Heidelberg: Springer: 2007. p. 38\u201352."},{"key":"286_CR18","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/j.entcs.2013.02.019","volume":"293","author":"SV Goethem","year":"2013","unstructured":"Goethem SV, Jacquet JM, Brim L, \u0160afr\u00e1nek D. Timed modelling of gene networks with arbitrarily precise expression discretization. Electron Notes Theor Comput Sci. 2013; 293:67\u201381. Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology (CS2Bio\u201912).","journal-title":"Electron Notes Theor Comput Sci"},{"issue":"9","key":"286_CR19","doi-asserted-by":"crossref","first-page":"2399","DOI":"10.1016\/j.bpj.2009.08.018","volume":"97","author":"HM Fathallah-Shaykh","year":"2009","unstructured":"Fathallah-Shaykh HM, Bona JL, Kadener S. Mathematical model of the drosophila circadian clock: Loop regulation and transcriptional integration. Biophys J. 2009; 97(9):2399\u2013408.","journal-title":"Biophys J"},{"issue":"4","key":"286_CR20","doi-asserted-by":"crossref","first-page":"599","DOI":"10.1016\/j.joca.2013.01.014","volume":"21","author":"B Ma","year":"2013","unstructured":"Ma B, Leijten JCH, Wu L, Kip M, van Blitterswijk CA, Post JN, Karperien M. Gene expression profiling of dedifferentiated human articular chondrocytes in monolayer culture. Osteoarthr Cartil. 2013; 21(4):599\u2013603.","journal-title":"Osteoarthr Cartil"},{"issue":"10","key":"286_CR21","doi-asserted-by":"crossref","first-page":"3302","DOI":"10.1002\/art.34535","volume":"64","author":"JCH Leijten","year":"2012","unstructured":"Leijten JCH, Emons J, Sticht C, van Gool S, Decker E, Uitterlinden A, Rappold G, Hofman A, Rivadeneira F, Scherjon S, Wit JM, van Meurs J, van Blitterswijk CA, Karperien M. Gremlin 1, Frizzled-related protein, and Dkk-1 are key regulators of human articular cartilage homeostasis. Arthritis Rheum. 2012; 64(10):3302\u201312.","journal-title":"Arthritis Rheum"},{"key":"286_CR22","volume-title":"Tissue Engineering & Regenerative Medicine International Society, European Chapter Meeting, Genova, Italy, vol. 8","author":"J Scholma","year":"2014","unstructured":"Scholma J, Schivo S, Kerkhofs J, Langerak R, Karperien HBJ, van de Pol JC, Geris L, Post JN. ECHO: the Executable CHOndrocyte. In: Tissue Engineering & Regenerative Medicine International Society, European Chapter Meeting, Genova, Italy, vol. 8. Malden: Wiley: 2014. p. 54."},{"key":"286_CR23","volume-title":"2014 World Congress on Osteoarthritis, Paris, France. Osteoarthritis and Cartilage, vol. 22","author":"J Scholma","year":"2014","unstructured":"Scholma J, Schivo S, Karperien HBJ, Langerak R, van de Pol JC, Post JN. An ECHO in biology: Validating the Executable CHondrocyte. In: 2014 World Congress on Osteoarthritis, Paris, France. Osteoarthritis and Cartilage, vol. 22. Amsterdam: Elsevier: 2014. p. 157."},{"issue":"1","key":"286_CR24","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. KEGG: Kyoto Encyclopedia of Genes and Genomes. Nucleic Acids Res. 2000; 28(1):27\u201330.","journal-title":"Nucleic Acids Res"},{"issue":"6","key":"286_CR25","doi-asserted-by":"crossref","first-page":"1551","DOI":"10.1002\/pmic.200300772","volume":"4","author":"PV Hornbeck","year":"2004","unstructured":"Hornbeck PV, Chabra I, Kornhauser JM, Skrzypek E, Zhang B. PhosphoSite: A bioinformatics resource dedicated to physiological protein phosphorylation. Proteomics. 2004; 4(6):1551\u201361.","journal-title":"Proteomics"},{"issue":"10","key":"286_CR26","doi-asserted-by":"crossref","first-page":"1569","DOI":"10.1074\/mcp.M500158-MCP200","volume":"4","author":"S Gaudet","year":"2005","unstructured":"Gaudet S, Janes KA, Albeck JG, Pace EA, Lauffenburger DA, Sorger PK. A compendium of signals and responses triggered by prodeath and prosurvival cytokines. Mol Cell Proteomics. 2005; 4(10):1569\u201390.","journal-title":"Mol Cell Proteomics"},{"issue":"6","key":"286_CR27","doi-asserted-by":"crossref","first-page":"1225","DOI":"10.1016\/j.cell.2006.01.041","volume":"124","author":"KA Janes","year":"2006","unstructured":"Janes KA, Gaudet S, Albeck JG, Nielsen UB, Lauffenburger DA, Sorger PK. The response of human epithelial cells to TNF involves an inducible autocrine cascade. Cell. 2006; 124(6):1225\u201339.","journal-title":"Cell"},{"issue":"2","key":"286_CR28","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/S0092-8674(00)00116-1","volume":"103","author":"RJ Davis","year":"2000","unstructured":"Davis RJ. Signal transduction by the JNK group of MAP kinases. Cell. 2000; 103(2):239\u201352.","journal-title":"Cell"},{"issue":"24","key":"286_CR29","doi-asserted-by":"crossref","first-page":"5173","DOI":"10.1093\/nar\/22.24.5173","volume":"22","author":"AJ Bannister","year":"1994","unstructured":"Bannister AJ, Brown HJ, Sutherland JA, Kouzarides T. Phosphorylation of the c-Fos and c-Jun HOB1 motif stimulates its activation capacity. Nucleic Acids Res. 1994; 22(24):5173\u20136.","journal-title":"Nucleic Acids Res"},{"issue":"2","key":"286_CR30","first-page":"125","volume":"7","author":"S Bailly","year":"1996","unstructured":"Bailly S, Fay M, Isra\u00ebl N, Gougerot-Pocidalo MA. The transcription factor AP-1 binds to the human interleukin 1 alpha promoter. Eur Cytokine Netw. 1996; 7(2):125\u20138.","journal-title":"Eur Cytokine Netw"},{"issue":"20","key":"286_CR31","doi-asserted-by":"crossref","first-page":"11757","DOI":"10.1074\/jbc.270.20.11757","volume":"270","author":"M Russell","year":"1995","unstructured":"Russell M, Lange-Carter CA, Johnson GL. Direct interaction between Ras and the kinase domain of mitogen-activated protein kinase kinase kinase (MEKK1). J Biol Chem. 1995; 270(20):11757\u201360.","journal-title":"J Biol Chem"},{"issue":"6","key":"286_CR32","doi-asserted-by":"crossref","first-page":"1025","DOI":"10.1016\/0092-8674(94)90380-8","volume":"76","author":"B D\u00e9rijard","year":"1994","unstructured":"D\u00e9rijard B, Hibi M, Wu IH, Barrett T, Su B, Deng T, Karin M, Davis RJ. JNK1: A protein kinase stimulated by uv light and ha-ras that binds and phosphorylates the c-Jun activation domain. Cell. 1994; 76(6):1025\u201337.","journal-title":"Cell"},{"issue":"4","key":"286_CR33","doi-asserted-by":"crossref","first-page":"1000340","DOI":"10.1371\/journal.pcbi.1000340","volume":"5","author":"BB Aldridge","year":"2009","unstructured":"Aldridge BB, Saez-Rodriguez J, Muhlich JL, Sorger PK, Lauffenburger DA. Fuzzy logic analysis of kinase pathway crosstalk in TNF\/EGF\/Insulin-induced signaling. PLoS Comput Biol. 2009; 5(4):1000340.","journal-title":"PLoS Comput Biol"},{"issue":"5754","key":"286_CR34","doi-asserted-by":"crossref","first-page":"1646","DOI":"10.1126\/science.1116598","volume":"310","author":"KA Janes","year":"2005","unstructured":"Janes KA, Albeck JG, Gaudet S, Sorger PK, Lauffenburger DA, Yaffe MB. A systems model of signaling identifies a molecular basis set for cytokine-induced apoptosis. Science. 2005; 310(5754):1646\u201353.","journal-title":"Science"},{"issue":"1","key":"286_CR35","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1186\/1752-0509-6-133","volume":"6","author":"C Terfve","year":"2012","unstructured":"Terfve C, Cokelaer T, Henriques D, MacNamara A, Goncalves E, Morris M, Iersel Mv, Lauffenburger D, Saez-Rodriguez J. CellNOptR: a flexible toolkit to train protein signaling networks to data using multiple logic formalisms. BMC Syst Biol. 2012; 6(1):133.","journal-title":"BMC Syst Biol"},{"key":"286_CR36","doi-asserted-by":"crossref","first-page":"192","DOI":"10.12688\/f1000research.2-192.v1","volume":"2","author":"E Gon\u00e7alves","year":"2013","unstructured":"Gon\u00e7alves E, Saez-Rodriguez J. Cyrface: An interface from Cytoscape to R that provides a user interface to R packages. F1000Research. 2013; 2:192.","journal-title":"F1000Research"},{"issue":"1","key":"286_CR37","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1186\/1752-0509-7-135","volume":"7","author":"C Chaouiya","year":"2013","unstructured":"Chaouiya C, Berenguier D, Keating S, Naldi A, van Iersel M, Rodriguez N, Drager A, Buchel F, Cokelaer T, Kowal B, Wicks B, Goncalves E, Dorier J, Page M, Monteiro P, von Kamp A, Xenarios I, de Jong H, Hucka M, Klamt S, Thieffry D, Le Novere N, Saez-Rodriguez J, Helikar T. Sbml qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools. BMC Syst Biol. 2013; 7(1):135.","journal-title":"BMC Syst Biol"},{"issue":"3","key":"286_CR38","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1016\/j.tcs.2007.11.010","volume":"391","author":"H Siebert","year":"2008","unstructured":"Siebert H, Bockmayr A. Temporal constraints in the logical analysis of regulatory networks. Theor Comput Sci. 2008; 391(3):258\u201375.","journal-title":"Theor Comput Sci"},{"issue":"1","key":"286_CR39","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.entcs.2009.02.004","volume":"229","author":"E Bartocci","year":"2009","unstructured":"Bartocci E, Corradini F, Merelli E, Tesei L. Model checking biological oscillators. Electron Notes Theor Comput Sci. 2009; 229(1):41\u201358. Proceedings of the Second Workshop From Biology to Concurrency and Back (FBTC 2008).","journal-title":"Electron Notes Theor Comput Sci"},{"key":"286_CR40","volume-title":"Positive Systems. Lecture Notes in Control and Information Sciences, vol. 294","author":"C Chaouiya","year":"2003","unstructured":"Chaouiya C, Remy E, Moss\u00e9 B, Thieffry D. Qualitative analysis of regulatory graphs: A computational tool based on a discrete formal framework In: Benvenuti L, De Santis A, Farina L, editors. Positive Systems. Lecture Notes in Control and Information Sciences, vol. 294. Berlin\/Heidelberg: Springer: 2003. p. 830\u20132."},{"issue":"1","key":"286_CR41","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1093\/bioinformatics\/btt568","volume":"30","author":"M Bock","year":"2014","unstructured":"Bock M, Scharp T, Talnikar C, Klipp E. Boolesim: an interactive boolean network simulator. Bioinformatics. 2014; 30(1):131\u20132.","journal-title":"Bioinformatics"},{"issue":"1","key":"286_CR42","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1186\/1471-2105-11-233","volume":"11","author":"J Krumsiek","year":"2010","unstructured":"Krumsiek J, Polsterl S, Wittmann D, Theis F. Odefy - from discrete to continuous models. BMC Bioinforma. 2010; 11(1):233.","journal-title":"BMC Bioinforma"},{"key":"286_CR43","volume-title":"Systems biology, Methods in Molecular Biology, vol. 500","author":"P Mendes","year":"2009","unstructured":"Mendes P, Hoops S, Sahle S, Gauges R, Dada J, Kummer U. Computational modeling of biochemical networks using COPASI. In: Systems biology, Methods in Molecular Biology, vol. 500. Totowa, NJ: Humana Press: 2009. p. 17\u201359. Chap. 2."},{"key":"286_CR44","doi-asserted-by":"crossref","unstructured":"Matsuoka Y, Funahashi A, Ghosh S, Kitano H. Modeling and simulation using celldesigner In: Miyamoto-Sato E, Ohashi H, Sasaki H, Nishikawa J-i, Yanagawa H, editors. Transcription Factor Regulatory Networks. Methods in Molecular Biology, vol. 1164. Springer: 2014. p. 121\u201345.","DOI":"10.1007\/978-1-4939-0805-9_11"},{"issue":"3","key":"286_CR45","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1093\/bioinformatics\/btf851","volume":"19","author":"H de Jong","year":"2003","unstructured":"de Jong H, Geiselmann J, Hernandez C, Page M. Genetic Network Analyzer: qualitative simulation of genetic regulatory networks. Bioinformatics. 2003; 19(3):336\u201344.","journal-title":"Bioinformatics"},{"issue":"2","key":"286_CR46","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1002\/wsbm.165","volume":"4","author":"DC Resasco","year":"2012","unstructured":"Resasco DC, Gao F, Morgan F, Novak IL, Schaff JC, Slepchenko BM. Virtual Cell: computational tools for modeling in cell biology. Wiley Interdiscip Rev Syst Biol Med. 2012; 4(2):129\u201340.","journal-title":"Wiley Interdiscip Rev Syst Biol Med"},{"key":"286_CR47","doi-asserted-by":"crossref","unstructured":"Ciocchetta F, Duguid A, Gilmore S, Guerriero ML, Hillston J. The Bio-PEPA Tool Suite. Int Conf Quant Eval Syst. 2009;:309\u2013310. http:\/\/ieeexplore.ieee.org\/xpl\/mostRecentIssue.jsp?punumber=5290656 .","DOI":"10.1109\/QEST.2009.27"},{"key":"286_CR48","unstructured":"COSBILab. 2012. http:\/\/www.cosbi.eu\/index.php\/research\/cosbi-lab . Accessed date 11 June 2016."},{"key":"286_CR49","first-page":"160","volume":"162","author":"M Nagasaki","year":"2011","unstructured":"Nagasaki M, Saito A, Jeong E, Li C, Kojima K, Ikeda E, Miyano S. Cell illustrator 4.0: a computational platform for systems biology. Stud Health Technol Inform. 2011; 162:160\u201381.","journal-title":"Stud Health Technol Inform"},{"key":"286_CR50","unstructured":"yEd. 2015. http:\/\/www.yworks.com\/en\/products\/yfiles\/yed . Accessed date 11 June 2016."},{"issue":"1","key":"286_CR51","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1186\/1752-0509-8-42","volume":"8","author":"A Palmisano","year":"2014","unstructured":"Palmisano A, Hoops S, Watson LT, Jones Jr TC, Tyson JJ, Shaffer CA. Multistate Model Builder (MSMB): a flexible editor for compact biochemical models. BMC Syst Biol. 2014; 8(1):1\u201313.","journal-title":"BMC Syst Biol"}],"container-title":["BMC Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s12918-016-0286-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,11]],"date-time":"2019-09-11T18:58:25Z","timestamp":1568228305000},"score":1,"resource":{"primary":{"URL":"http:\/\/bmcsystbiol.biomedcentral.com\/articles\/10.1186\/s12918-016-0286-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,27]]},"references-count":51,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["286"],"URL":"https:\/\/doi.org\/10.1186\/s12918-016-0286-z","relation":{},"ISSN":["1752-0509"],"issn-type":[{"value":"1752-0509","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,7,27]]},"article-number":"56"}}