{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:04:39Z","timestamp":1740096279451,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642390876"},{"type":"electronic","value":"9783642390883"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39088-3_3","type":"book-chapter","created":{"date-parts":[[2013,6,3]],"date-time":"2013-06-03T21:26:20Z","timestamp":1370294780000},"page":"37-54","source":"Crossref","is-referenced-by-count":3,"title":["Enhancing Product Line Development by Safety Requirements and Verification"],"prefix":"10.1007","author":[{"given":"Michaela","family":"Huhn","sequence":"first","affiliation":[]},{"given":"Sara","family":"Bessling","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/11925040_8","volume-title":"Leveraging Applications of Formal Methods","author":"P.A. Abdulla","year":"2006","unstructured":"Abdulla, P.A., Deneux, J., St\u00e5lmarck, G., \u00c5gren, H., \u00c5kerlund, O.: Designing safe, reliable systems using Scade. In: Margaria, T., Steffen, B. (eds.) ISoLA 2004. LNCS, vol.\u00a04313, pp. 115\u2013129. Springer, Heidelberg (2006)"},{"issue":"5","key":"3_CR2","doi-asserted-by":"publisher","first-page":"49","DOI":"10.5381\/jot.2009.8.5.c5","volume":"8","author":"S. Apel","year":"2009","unstructured":"Apel, S., K\u00e4stner, C.: An overview of feature-oriented software development. Journal of Object Technology\u00a08(5), 49\u201384 (2009)","journal-title":"Journal of Object Technology"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-642-13688-7_2","volume-title":"Theory and Practice of Model Transformations","author":"M. Azanza","year":"2010","unstructured":"Azanza, M., Batory, D., D\u00edaz, O., Trujillo, S.: Domain-specific composition of model deltas. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol.\u00a06142, pp. 16\u201330. Springer, Heidelberg (2010)"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1046\/j.1460-9592.2002.00260.x","volume":"25","author":"Bernstein","year":"2002","unstructured":"Bernstein, Daubert, Fletcher, Hayes, L\u00fcderitz, Reynolds, Schoenfeld, Sutton: The revised NASPE\/BPEG generic code for antibradycardia, adaptive-rate, and multisite pacing. Journal of Pacing and Clinical Electrophysiology\u00a025, 260\u2013264 (2002)","journal-title":"Journal of Pacing and Clinical Electrophysiology"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A.: Symbolic model checking of software product lines. In: Intern. Conf. on Software Engineering (ICSE), pp. 321\u2013330 (2011)","DOI":"10.1145\/1985793.1985838"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A., Raskin, J.F.: Model checking lots of systems: efficient verification of temporal properties in software product lines. In: Intern. Conf. on Software Engineering (ICSE), pp. 335\u2013344 (2010)","DOI":"10.1145\/1806799.1806850"},{"key":"3_CR7","unstructured":"Esterel Technologies: SCADE Suite KCG 6.1: Safety case report of KCG 6.1.2 (July 2009)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Fischbein, D., Uchitel, S., Brabermann, V.: A foundation for behavioural conformance in software product line architectures. In: ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis (ROSATEA), pp. 39\u201348. ACM (2006)","DOI":"10.1145\/1147249.1147254"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/978-3-540-30175-2_19","volume-title":"Generative Programming and Component Engineering","author":"J. Gray","year":"2004","unstructured":"Gray, J., Zhang, J., Lin, Y., Roychoudhury, S., Wu, H., Sudarsan, R., Gokhale, A., Neema, S., Shi, F., Bapty, T.: Model-driven program transformation of a large avionics framework. In: Karsai, G., Visser, E. (eds.) GPCE 2004. LNCS, vol.\u00a03286, pp. 361\u2013378. Springer, Heidelberg (2004)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Haugen, M\u00f8ller-Pedersen, Oldevik, Olsen, Svendsen: Adding standardized variability to domain specific languages. In: Intern. Software Product Line Conference, pp. 139\u2013148. IEEE Computer Society (2008)","DOI":"10.1109\/SPLC.2008.25"},{"key":"3_CR11","unstructured":"Huhn, M., Bessling, S.: Towards certifiable software for medical devices: The pacemaker case study revisited. In: Intern. Workshop on Harnessing Theories for Tool Support in Software, pp. 8\u201314 (2011)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-642-16561-0_33","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"E. Jee","year":"2010","unstructured":"Jee, E., Lee, I., Sokolsky, O.: Assurance cases in model-driven development of the pacemaker software. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part II. LNCS, vol.\u00a06416, pp. 343\u2013356. Springer, Heidelberg (2010)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Jee, Wang, Kim, Lee, Sokolsky, Lee: A safety-assured development approach for real-time software. In: Proceedings of the 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications, pp. 133\u2013142. IEEE Computer Society, Washington, DC (2010), \n                  \n                    http:\/\/dx.doi.org\/10.1109\/RTCSA.2010.42","DOI":"10.1109\/RTCSA.2010.42"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-28756-5_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Z. Jiang","year":"2012","unstructured":"Jiang, Z., Pajic, M., Moarref, S., Alur, R., Mangharam, R.: Modeling and verification of a dual chamber implantable pacemaker. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol.\u00a07214, pp. 188\u2013203. Springer, Heidelberg (2012)"},{"issue":"1","key":"3_CR15","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.R.: Compositional model checking of software product lines using variation point obligations. Autom. Softw. Eng.\u00a018(1), 39\u201376 (2011)","journal-title":"Autom. Softw. Eng."},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"1879","DOI":"10.1016\/j.jss.2007.01.047","volume":"80","author":"J. Liu","year":"2007","unstructured":"Liu, J., Dehlinger, J., Lutz, R.R.: Safety analysis of software product lines using state-based modeling. The Journal of Systems and Software\u00a080, 1879\u20131892 (2007)","journal-title":"The Journal of Systems and Software"},{"key":"3_CR17","unstructured":"M\u00e9ry, D., Singh, N.K.: Functional behavior of a cardiac pacing system. Intern. Journal of Discrete Event Control Systems, IJDECS (2010)"},{"key":"3_CR18","unstructured":"Object Management Group: OMG Systems Modeling Language V 1.2 (2010), \n                  \n                    www.omg.org\/spec\/SysML\/1.2\/"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-642-25271-6_10","volume-title":"Formal Methods for Components and Objects","author":"I. Schaefer","year":"2011","unstructured":"Schaefer, I., Gurov, D., Soleimanifard, S.: Compositional algorithmic verification of software product lines. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol.\u00a06957, pp. 184\u2013203. Springer, Heidelberg (2011)"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Schobbens, P.Y., Heymans, P., Trigaux, J.C.: Feature diagrams: A survey and a formal semantics. In: Intern. Conf. on Requirements Engineering (RE), pp. 136\u2013145 (2006)","DOI":"10.1109\/RE.2006.23"},{"key":"3_CR21","unstructured":"Scientific, B.: PACEMAKER System Specification (January 2007)"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Tuan, Zheng, Tho: Modeling and verification of safety critical systems: A case study on pacemaker. In: 4th Conf. on Secure Software Integration and Reliability Improvement, pp. 23\u201332. IEEE (2010)","DOI":"10.1109\/SSIRI.2010.28"},{"issue":"2","key":"3_CR23","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/S0167-6423(02)00039-4","volume":"44","author":"D. Varr\u00f3","year":"2002","unstructured":"Varr\u00f3, D., Varr\u00f3, G., Pataricza, A.: Designing the automatic transformation of visual languages. Science of Computer Programming\u00a044(2), 205\u2013227 (2002)","journal-title":"Science of Computer Programming"}],"container-title":["Lecture Notes in Computer Science","Foundations of Health Information Engineering and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39088-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T13:39:15Z","timestamp":1557754755000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39088-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390876","9783642390883"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39088-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}