{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:41:30Z","timestamp":1725550890279},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433538"},{"type":"electronic","value":"9783540459231"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45923-5_25","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:12:13Z","timestamp":1269897133000},"page":"336-339","source":"Crossref","is-referenced-by-count":6,"title":["Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Hagerer","sequence":"first","affiliation":[]},{"given":"Hardi","family":"Hungar","sequence":"additional","affiliation":[]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[]},{"given":"Oliver","family":"Niese","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]},{"given":"Hans-Dieter","family":"Ide","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,3,15]]},"reference":[{"key":"25_CR1","unstructured":"European Computer Manufactures Association (ECMA). Services for computer supported telecommunications applications (CSTA) phase II, 1994."},{"key":"25_CR2","unstructured":"European Computer Manufactures Association (ECMA). Services for computer supported telecommunications applications (CSTA) phase III, 1998."},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"A. Hagerer, H. Hungar, O. Niese, and B. Steffen: Model Generation by Moderated Regular Extrapolation. In Proc. of the 5th Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2002), this Volume.","DOI":"10.1007\/3-540-45923-5_6"},{"key":"25_CR4","first-page":"927","volume-title":"Annual Review of Communication","author":"O. Niese","year":"2001","unstructured":"O. Niese, T. Margaria, A. Hagerer, M. Nagelmann, B. Steffen, G. Brune, and H. Ide. An automated testing environment for CTI systems using concepts for specification and verification of workflows. Annual Review of Communication, Int. Engineering Consortium Chicago (USA), Vol. 54, pp. 927\u2013936, IEC, 2001."},{"key":"25_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/3-540-45314-8_17","volume-title":"Library-based design and consistency checks of system-level industrial test cases","author":"O. Niese","year":"2001","unstructured":"O. Niese, B. Steffen, T. Margaria, A. Hagerer, G. Brune, and H. Ide. Library-based design and consistency checks of system-level industrial test cases. In H. Hu\u03b2mann, editor, Proc. FASE 2001, LNCS 2029, pages 233\u2013248. Springer Verlag, 2001."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45923-5_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,17]],"date-time":"2019-01-17T17:22:18Z","timestamp":1547745738000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45923-5_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433538","9783540459231"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-45923-5_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}