{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T06:58:28Z","timestamp":1760425108135,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642287138"},{"type":"electronic","value":"9783642287145"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28714-5_16","type":"book-chapter","created":{"date-parts":[[2012,3,5]],"date-time":"2012-03-05T21:08:08Z","timestamp":1330981688000},"page":"179-193","source":"Crossref","is-referenced-by-count":34,"title":["Trace Queries for Safety Requirements in High Assurance Systems"],"prefix":"10.1007","author":[{"given":"Jane","family":"Cleland-Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mats","family":"Heimdahl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jane","family":"Huffman Hayes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robyn","family":"Lutz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Maeder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Jackson, D., Thomas, M., Millet, L.I.: Software for Dependable Systems: Sufficient Evidence? National Research Council (2007)"},{"issue":"12","key":"16_CR2","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/290133.290149","volume":"41","author":"R. D\u00f6mges","year":"1998","unstructured":"D\u00f6mges, R., Pohl, K.: Adapting Tracability Environments to Project-Specific Needs. Communications of the ACM\u00a041(12), 54\u201362 (1998) ISSN 0001-0782","journal-title":"Communications of the ACM"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Ellenbogen, K.A., Wood, M.A.: Cardiac Pacing and ICDs. Blackwell Publishing (2005)","DOI":"10.1002\/9780470750674"},{"key":"16_CR4","unstructured":"Federal Aviation Authority (FAA). DO-178B: Software Considerations in Airborne Systems and Equipment Certification, faa\u2019s advisory circular ac20-115b edition"},{"key":"16_CR5","unstructured":"Food and Drug Administration. Guidance for the Content of Premarket Submissions for Software Contained in Medical Devices (2005)"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Gotel, O., Finkelstein, C.: An analysis of the requirements traceability problem. In: Proceedings of the First International Conference on Requirements Engineering, pp. 94\u2013101 (April 1994)","DOI":"10.1109\/ICRE.1994.292398"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Heimdahl, M.P.E.: Safety and software intensive systems: Challenges old and new. In: FOSE, pp. 137\u2013152 (2007)","DOI":"10.1109\/FOSE.2007.18"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Hill, J., Tilley, S.: Creating safety requirements traceability for assuring and recertifying legacy safety-critical systems. In: 18th IEEE International Requirements Engineering Conference (RE), September 27-October 1, pp. 297\u2013302 (2010)","DOI":"10.1109\/RE.2010.42"},{"key":"16_CR9","unstructured":"Joint Software System Safety Committee. Software System Safety Handbook Technical and Manegerial Team Approach, edition (1999)"},{"key":"16_CR10","unstructured":"Katta, V., Stalhane, T.: A conceptual model of traceability for safety systems. In: CSDM - Poster Presentation (2010)"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/3-540-48249-0_2","volume-title":"Computer Safety, Reliability and Security","author":"T.P. Kelly","year":"1999","unstructured":"Kelly, T.P., McDermid, J.A.: A Systematic Approach to Safety Case Maintenance. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol.\u00a01698, pp. 13\u201326. Springer, Heidelberg (1999)"},{"key":"16_CR12","unstructured":"Leveson, N.G.: Safeware, System Safety and Computers. Addison Wesley (1995)"},{"issue":"11","key":"16_CR13","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/163359.163373","volume":"36","author":"B. Littlewood","year":"1993","unstructured":"Littlewood, B., Strigini, L.: Validation of ultrahigh dependability for software-based systems. Commun. ACM\u00a036(11), 69\u201380 (1993)","journal-title":"Commun. ACM"},{"issue":"1","key":"16_CR14","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s10515-010-0075-7","volume":"18","author":"J. Liu","year":"2011","unstructured":"Liu, J., Basu, S., Lutz, R.: Generating variation point obligations for compositional model checking of software product lines. Journal of Automated Software Engineering\u00a018(1), 39\u201376 (2011)","journal-title":"Journal of Automated Software Engineering"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Liu, J., Dehlinger, J., Sun, H., Lutz, R.R.: State-based modeling to support the evolution and maintenance of safety-critical software product lines. In: ECBS, pp. 596\u2013608 (2007)","DOI":"10.1109\/ECBS.2007.66"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Lutz, R.R.: Software engineering for safety: a roadmap. In: ICSE - Future of SE Track, pp. 213\u2013226 (2000)","DOI":"10.1145\/336512.336556"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Lutz, R.R., Mikulski, I.C.: Requirements discovery during the testing of safety-critical software. In: ICSE, pp. 578\u2013585 (2003)","DOI":"10.1109\/ICSE.2003.1201240"},{"key":"16_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-642-16145-2_16","volume-title":"Model Driven Engineering Languages and Systems","author":"P. M\u00e4der","year":"2010","unstructured":"M\u00e4der, P., Cleland-Huang, J.: A Visual Traceability Modeling Language. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010, Part I. LNCS, vol.\u00a06394, pp. 226\u2013240. Springer, Heidelberg (2010)"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"M\u00e4der, P., Gotel, O., Philippow, I.: Getting Back to Basics: Promoting the Use of a Traceability Information Model in Practice. In: 5th Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE 2009). In Conjunction with ICSE 2009, Vancouver, Canada (May 2009)","DOI":"10.1109\/TEFSE.2009.5069578"},{"key":"16_CR20","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1772643.1772647","volume-title":"Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, CARS 2010","author":"M.-A. Peraldi-Frati","year":"2010","unstructured":"Peraldi-Frati, M.-A., Albinet, A.: Requirement traceability in safety critical systems. In: Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, CARS 2010, pp. 11\u201314. ACM, New York (2010)"},{"key":"16_CR21","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/32.895989","volume":"27","author":"B. Ramesh","year":"2001","unstructured":"Ramesh, B., Jarke, M.: Toward reference models for requirements traceability. IEEE Trans. Softw. Eng.\u00a027, 58\u201393 (2001)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"8","key":"16_CR22","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.1109\/TC.2010.149","volume":"60","author":"P. S\u00e1nchez","year":"2011","unstructured":"S\u00e1nchez, P., Alonso, D., Rosique, F., \u00c1lvarez, B., Pastor, J.A.: Introducing safety requirements traceability support in model-driven development of robotic applications. IEEE Trans. Computers\u00a060(8), 1059\u20131071 (2011)","journal-title":"IEEE Trans. Computers"},{"key":"16_CR23","volume-title":"Safety Critical Computer Systems","author":"N.R. Storey","year":"1996","unstructured":"Storey, N.R.: Safety Critical Computer Systems. Addison-Wesley Longman Publishing Co., Inc., Boston (1996)"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Sullivan, K.J., Dugan, J.B., Coppit, D.: The galileo fault tree analysis tool. In: FTCS, pp. 232\u2013235 (1999)","DOI":"10.1109\/FTCS.1999.781056"}],"container-title":["Lecture Notes in Computer Science","Requirements Engineering: Foundation for Software Quality"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28714-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T12:02:52Z","timestamp":1742644972000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-28714-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642287138","9783642287145"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28714-5_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}