{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T18:26:09Z","timestamp":1743877569596},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319454795"},{"type":"electronic","value":"9783319454801"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-45480-1_7","type":"book-chapter","created":{"date-parts":[[2016,9,2]],"date-time":"2016-09-02T15:08:20Z","timestamp":1472828900000},"page":"75-86","source":"Crossref","is-referenced-by-count":3,"title":["The Assurance Timeline: Building Assurance Cases for Synthetic Biology"],"prefix":"10.1007","author":[{"given":"Myra B.","family":"Cohen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Justin","family":"Firestone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimiliano","family":"Pierobon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,1]]},"reference":[{"issue":"3","key":"7_CR1","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1038\/nbt.1802","volume":"29","author":"L Adam","year":"2011","unstructured":"Adam, L., Kozar, M., Letort, G., Mirat, O., Srivastava, A., Stewart, T., Wilson, M.L., Peccoud, J.: Strengths and limitations of the Federal guidance on synthetic DNA. Nat. Biotechol. 29(3), 208\u2013210 (2011)","journal-title":"Nat. Biotechol."},{"issue":"7","key":"7_CR2","doi-asserted-by":"crossref","first-page":"584","DOI":"10.1038\/embor.2012.81","volume":"13","author":"J Anderson","year":"2012","unstructured":"Anderson, J., Strelkowa, N., Stan, G.-B., Douglas, T., Savulescu, J., Barahona, M., Papachristodoulou, A.: Engineering and ethical perspectives in synthetic biology. EMBO Rep. 13(7), 584\u2013590 (2012)","journal-title":"EMBO Rep."},{"key":"7_CR3","unstructured":"Attwood, K., Kelly, T.: Controlled expression for assurance case development. In: Proceedings of the 23rd Safety-Critical Systems Symposium on Engineering Systems for Safety, pp. 143\u2013165 (2015)"},{"key":"7_CR4","volume-title":"Synthetic Biology: A Primer","author":"G Baldwin","year":"2016","unstructured":"Baldwin, G.: Synthetic Biology: A Primer. World Scientific, London (2016)"},{"key":"7_CR5","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1038\/nrg3197","volume":"13","author":"Y Benenson","year":"2012","unstructured":"Benenson, Y.: Biomolecular computing systems: principles, progress and potential. Nat. Rev. Genet. 13, 455\u2013468 (2012)","journal-title":"Nat. Rev. Genet."},{"issue":"5","key":"7_CR6","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1021\/sb500286r","volume":"4","author":"LT Bereza-Malcolm","year":"2015","unstructured":"Bereza-Malcolm, L.T., Mann, G., Franks, A.E.: Environmental sensing of heavy metals through whole cell microbial biosensors: a synthetic biology approach. ACS Synth. Biol. 4(5), 535\u2013546 (2015)","journal-title":"ACS Synth. Biol."},{"key":"7_CR7","unstructured":"Chapman, R.: Assurance cases for external infusion pumps. U.S. Food and Drug Administration (2010). www.fda.gov\/downloads\/medicaldevices\/newsevents\/workshopsconferences\/ucm219685.pdf"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1007\/978-3-642-34026-0_29","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"A David","year":"2012","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B., Sedwards, S.: Runtime verification of biological systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 388\u2013404. Springer, Heidelberg (2012)"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-33678-2_1","volume-title":"Computer Safety, Reliability, and Security","author":"E Denney","year":"2012","unstructured":"Denney, E., Pai, G.: A lightweight methodology for safety case assembly. In: Ortmeier, F., Lipaczewski, M. (eds.) SAFECOMP 2012. LNCS, vol. 7612, pp. 1\u201312. Springer, Heidelberg (2012)"},{"key":"7_CR10","first-page":"587","volume":"2","author":"E Denney","year":"2015","unstructured":"Denney, E., Pai, G., Habli, I.: Dynamic safety cases for through-life safety assurance. Int. Conf. Softw. Eng. 2, 587\u2013590 (2015)","journal-title":"Int. Conf. Softw. Eng."},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1007\/978-3-642-33675-1_2","volume-title":"Computer Safety, Reliability, and Security","author":"E Denney","year":"2012","unstructured":"Denney, E., Pai, G., Pohl, J.: AdvoCATE: an assurance case automation toolset. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP Workshops 2012. LNCS, vol. 7613, pp. 8\u201321. Springer, Heidelberg (2012)"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Denney, E., Pai, G., Whiteside, I.: Formal foundations for hierarchical safety cases. In: IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), pp. 52\u201359. IEEE (2015)","DOI":"10.1109\/HASE.2015.17"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Ellis, S.J., Henderson, E.R., Klinge, T.H., Lathrop, J.I., Lutz, J.H., Lutz, R.R., Mathur, D., Miner, A.S.: Automated requirements analysis for a molecular watchdog timer. In: International conference on Automated software engineering (ASE), pp. 767\u2013778 (2014)","DOI":"10.1145\/2642937.2643007"},{"issue":"6","key":"7_CR14","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1038\/nbt.2891","volume":"32","author":"M Galdzicki","year":"2014","unstructured":"Galdzicki, M., Clancy, K., Oberortner, E., Pocock, M., Quinn, J., Rodriguez, C., Roehner, N., Wilson, M., Adam, L., Anderson, J., Bartley, B., Beal, J., Chandran, D., Chen, J., Densmore, D., Endy, D., Gr\u00fcnberg, R., Hallinan, J., Hillson, N., Johnson, J., Kuchinsky, A., Lux, M., Misirli, G., Peccoud, J., Plahar, H., Sirin, E., Stan, G., Villalobos, A., Wipat, A., Gennari, J., Myers, C., Sauro, H.: The synthetic biology open language (SBOL) provides a community standard for communicating designs in synthetic biology. Nat. Biotechnol. 32(6), 545\u2013550 (2014)","journal-title":"Nat. Biotechnol."},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Graydon, P.J.: Formal assurance arguments: a solution in search of a problem? In: 45th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 517\u2013528. IEEE (2015)","DOI":"10.1109\/DSN.2015.28"},{"key":"7_CR16","unstructured":"Hendriks, E., van Lente, T., Raaphorst, R., Purwanto, A., Poljakova, W., Parrish, J., Daszczuk, A., Dessalegne, Y., Jo, E., Oldebesten, A., Drenth, I., Kuipers, O., Veening, J., Herber, M.: iGEM: team groningen: food warden (2012). http:\/\/2012.igem.org\/Team:Groningen"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-89437-7_1","volume-title":"Software-Intensive Systems and New Computing Paradigms","author":"M H\u00f6lzl","year":"2008","unstructured":"H\u00f6lzl, M., Rauschmayer, A., Wirsing, M.: Engineering of software-intensive systems: state of the art and research challenges. In: Wirsing, M., Ban\u00e2tre, J.-P., H\u00f6lzl, M., Rauschmayer, A. (eds.) Soft-Ware Intensive Systems. LNCS, vol. 5380, pp. 1\u201344. Springer, Heidelberg (2008)"},{"key":"7_CR18","unstructured":"iGEM. http:\/\/igem.org\/Main_Page"},{"key":"7_CR19","unstructured":"iGEM Parts Registry. http:\/\/parts.igem.org\/"},{"key":"7_CR20","unstructured":"Jaradat, O., Graydon, P., Bate, I.: An approach to maintaining safety case evidence after a system change. arXiv preprint (2014). arXiv:1404.6846"},{"issue":"1","key":"7_CR21","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1186\/1754-1611-7-13","volume":"7","author":"LJ Kahl","year":"2013","unstructured":"Kahl, L.J., Endy, D.: A survey of enabling technologies in synthetic biology. J. Biol. Eng. 7(1), 13 (2013)","journal-title":"J. Biol. Eng."},{"issue":"3","key":"7_CR22","doi-asserted-by":"crossref","first-page":"1121","DOI":"10.1007\/s11948-012-9365-8","volume":"19","author":"A Kelle","year":"2013","unstructured":"Kelle, A.: Beyond patchwork precaution in the dual-use governance of synthetic biology. Sci. Eng. Ethics 19(3), 1121\u20131139 (2013)","journal-title":"Sci. Eng. Ethics"},{"key":"7_CR23","unstructured":"Kelly, T., Weaver, R.: The goal structuring notation-a safety argument notation. In: Dependable Systems and Networks Workshop on Assurance Cases (2004)"},{"issue":"106","key":"7_CR24","doi-asserted-by":"crossref","first-page":"20141000","DOI":"10.1098\/rsif.2014.1000","volume":"12","author":"Z Kis","year":"2015","unstructured":"Kis, Z., Pereira, H.S., Homma, T., Pedrigi, R.M., Krams, R.: Mammalian synthetic biology: emerging medical applications. J. Roy. Soc. Interface 12(106), 20141000 (2015)","journal-title":"J. Roy. Soc. Interface"},{"key":"7_CR25","doi-asserted-by":"crossref","first-page":"1010","DOI":"10.1038\/nbt1010-1010","volume":"28","author":"DA LaVan","year":"2010","unstructured":"LaVan, D.A., Marmon, L.M.: Safe and effective synthetic biology. Nat. Biotechnol. 28, 1010\u20131012 (2010)","journal-title":"Nat. Biotechnol."},{"issue":"1","key":"7_CR26","doi-asserted-by":"crossref","first-page":"015","DOI":"10.2492\/inflammregen.34.015","volume":"34","author":"EJ Lee","year":"2014","unstructured":"Lee, E.J., Tabor, J.J., Mikos, A.G.: Leveraging synthetic biology for tissue engineering applications. Inflamm. Regen. 34(1), 015\u2013022 (2014)","journal-title":"Inflamm. Regen."},{"key":"7_CR27","series-title":"Studies in Computational Intelligence","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/978-3-319-10509-3_10","volume-title":"Computer and Information Science","author":"C-L Lin","year":"2015","unstructured":"Lin, C.-L., Shen, W.: Generation of assurance cases for medical devices. In: Lee, R. (ed.) CIS. SCI, vol. 566, pp. 127\u2013140. Springer, Heidelberg (2015)"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Lin, H., Wu, J., Yuan, C., Luo, Y., van den Brand, M., Engelen, L.: A systematic approach for safety evidence collection in the safety-critical domain. In: Annual IEEE International on Systems Conference (SysCon), pp. 194\u2013199. IEEE (2015)","DOI":"10.1109\/SYSCON.2015.7116751"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Lutz, R.R., Lutz, J.H., Lathrop, J.I., Klinge, T.H., Mathur, D., Stull, D.M., Bergquist, T., Henderson, E.R.: Requirements analysis for a product family of DNA nanodevices. In: IEEE International Requirements Engineering Conference (RE), pp. 211\u2013220, September 2012","DOI":"10.1109\/RE.2012.6345806"},{"key":"7_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/978-3-319-05843-6_23","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"S Nair","year":"2014","unstructured":"Nair, S., de la Vara, J.L., Melzi, A., Tagliaferri, G., de-la-Beaujardiere, L., Belmonte, F.: Safety evidence traceability: problem analysis and model. In: Salinesi, C., Weerd, I. (eds.) REFSQ 2014. LNCS, vol. 8396, pp. 309\u2013324. Springer, Heidelberg (2014)"},{"issue":"1","key":"7_CR31","doi-asserted-by":"crossref","first-page":"53","DOI":"10.4161\/cib.3.1.9863","volume":"3","author":"RA Rossello","year":"2010","unstructured":"Rossello, R.A., David, H.: Cell communication and tissue engineering. Commun. Integr. Biol. 3(1), 53\u201356 (2010)","journal-title":"Commun. Integr. Biol."},{"key":"7_CR32","doi-asserted-by":"crossref","first-page":"20130110","DOI":"10.1098\/rsta.2013.0110","volume":"372","author":"R Sarpeshkar","year":"2014","unstructured":"Sarpeshkar, R.: Analog synthetic biology. Philos. Trans. A Math. Phys. Eng. Sci. 372, 20130110 (2014)","journal-title":"Philos. Trans. A Math. Phys. Eng. Sci."},{"issue":"6","key":"7_CR33","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1038\/nrg3227","volume":"13","author":"A Slusarczyk","year":"2012","unstructured":"Slusarczyk, A., Lin, A., Weiss, R.: Foundations for the design and implementation of synthetic genetic circuits. Nat. Rev. Genet. 13(6), 406\u2013420 (2012)","journal-title":"Nat. Rev. Genet."},{"key":"7_CR34","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/j.ssci.2015.12.021","volume":"84","author":"MA Sujan","year":"2016","unstructured":"Sujan, M.A., Habli, I., Kelly, T.P., Pozzi, S., Johnson, C.W.: Should healthcare providers do safety cases? lessons from a cross-industry review of safety case practices. Saf. Sci. 84, 181\u2013189 (2016)","journal-title":"Saf. Sci."},{"key":"7_CR35","unstructured":"Weinstock, C.B., Goodenough, J.B.: Cmu\/sei-2009-tn-018: towards an assurance case practice for medical devices. Software Engineering Institute, Technical report, Carnegie Mellon (2009)"},{"key":"7_CR36","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/j.copbio.2015.01.007","volume":"33","author":"WB Whitaker","year":"2015","unstructured":"Whitaker, W.B., Sandoval, N.R., Bennett, R.K., Fast, A.G., Papoutsakis, E.T.: Synthetic methylotrophy: engineering the production of biofuels and chemicals based on the biology of aerobic methanol utilization. Curr. Opin. Biotechnol. 33, 165\u2013175 (2015)","journal-title":"Curr. Opin. Biotechnol."}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45480-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T21:53:09Z","timestamp":1498341189000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45480-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319454795","9783319454801"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45480-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}