{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:26Z","timestamp":1725487106373},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540436591"},{"type":"electronic","value":"9783540478331"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-47833-7_37","type":"book-chapter","created":{"date-parts":[[2007,6,27]],"date-time":"2007-06-27T18:13:35Z","timestamp":1182968015000},"page":"401-408","source":"Crossref","is-referenced-by-count":2,"title":["Automated Validation Environment for a Product Line of Railway Traffic Control Systems"],"prefix":"10.1007","author":[{"given":"Julio","family":"Mellado","sequence":"first","affiliation":[]},{"given":"Juan C.","family":"Due\u00f1as","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,4,23]]},"reference":[{"key":"37_CR1","unstructured":"del Valle Alvarez, J (2000). Elektronisches Stellwerk ESTW L90 5 in Spanien. Electronic interlocking ESTW L90 5. Signal+Draht 04\/2000."},{"key":"37_CR2","unstructured":"Laibarra, B., Vega, F. (2000) A systematic approach for the validation of an electronic interlocking. ICS Test Conference, April 2000, Bonn, Germany."},{"key":"37_CR3","doi-asserted-by":"crossref","unstructured":"Kuusela, J., Savolainen, J., (2000) Requirements Engineering for product families. Proceedings of the 2000 International Conference on Software Engineering.","DOI":"10.1145\/337180.337189"},{"key":"37_CR4","unstructured":"B\u00f6hm, P., Janle, J. (2000) Das ESTW L90 5 auf der Strecke Kouvola\u2014Pieks\u00e4m\u00e4ki in Finnland The ESTW L90 5 on the Line Kouvola\u2014Pieks\u00e4m\u00e4ki in Finland.Signal+Draht 06\/2000."},{"key":"37_CR5","unstructured":"Comit\u00e9 Europe\u00e9n de Normalisation \u00c9lectrotechnique CENELEC (1997). prEN 50128, Railway applications\u2014Software for railway control and protection systems."},{"key":"37_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/978-3-540-44542-5_6","volume-title":"Railway-Control Product Families: the ALCATEL TAS Platform experience","author":"J. Mellado","year":"2000","unstructured":"Mellado, J., Sierra, M., Romera, A. I., Due\u00f1as J. C. (2000) Railway-Control Product Families: the ALCATEL TAS Platform experience. Third International Workshop on Software Architectures for Product Families IWSAPF-3, Las Palmas, Spain. Lecture Notes in Computer Science, Vol. 1951. Springer-Verlag, Berlin Heidelberg New York (2000) 53\u201362."},{"key":"37_CR7","unstructured":"McGregor, John D. (2000) \u201cBuilding Reusable Test Assets for a Product Line\u201d tutorial, First Software Product Line Conference. Pittsburgh, Pa.: Software Engineering Institute, Carnegie Mellon University, 2000."},{"key":"37_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-68383-6_23","volume-title":"An Architectural Infrastructure for Product Families","author":"R. Balzer","year":"1998","unstructured":"Balzer, R. (1998) An Architectural Infrastructure for Product Families. Proceedings of the second International ESPRIT ARES Workshop on Development and Evolution of SoftwareArchitectures for Product Families. Lecture Notes in Computer Science Vol. 1429, Springer-Verlag, Berlin Heidelberg New York (1998)."}],"container-title":["Lecture Notes in Computer Science","Software Product-Family Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47833-7_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T14:02:17Z","timestamp":1550412137000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47833-7_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540436591","9783540478331"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-47833-7_37","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}