{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T15:12:37Z","timestamp":1648566757653},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2003,8,1]],"date-time":"2003-08-01T00:00:00Z","timestamp":1059696000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["STTT"],"published-print":{"date-parts":[[2003,8]]},"DOI":"10.1007\/s10009-003-0108-7","type":"journal-article","created":{"date-parts":[[2004,3,20]],"date-time":"2004-03-20T15:13:37Z","timestamp":1079795617000},"page":"401-404","source":"Crossref","is-referenced-by-count":0,"title":["Preface by the section editors"],"prefix":"10.1007","volume":"4","author":[{"given":"Bengt","family":"Jonsson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantinos","family":"Sagonas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,8,1]]},"reference":[{"key":"108_CR1","unstructured":"Armstrong J, Virding R, Wikstr\u00f6m C, Williams M (1996) Concurrent Programming in Erlang. Prentice Hall"},{"key":"108_CR2","doi-asserted-by":"crossref","unstructured":"Fredlund L-\u00c5, Gurov D, Noll T, Dam M, Arts T, Chugunov G (2003) A verification tool for Erlang. Int J Softw Tools Technol Transfer 4(4): 404\u2013419","DOI":"10.1007\/s100090100071"},{"key":"108_CR3","unstructured":"Belina F, Hogrefer D (1991) SDL with applications to protocol specification. Prentice Hall"},{"key":"108_CR4","doi-asserted-by":"crossref","unstructured":"Engblom J, Ermedahl A, Sj\u00f6din M, Gustafsson J, Hansson H (2003) Worst-case execution-time analysis for embedded real-time systems. Int J Softw Tools Technol Transfer 4(4): 436\u2013454","DOI":"10.1007\/s100090100054"},{"key":"108_CR5","doi-asserted-by":"crossref","unstructured":"H\u00e5kansson J, Jonsson B, Lundqvist O (2003) Generating on-line test oracles from temporal logic specifications. Int J Softw Tools Technol Transfer 4(4): 455\u2013470","DOI":"10.1007\/s10009-003-0107-8"},{"key":"108_CR6","unstructured":"ISO\/IEC 9646-3 (1997) Information Technology \u2013 Open Systems Interconnection \u2013 Conformance testing methodology and framework \u2013 Part 3: The Tree and Tabular Combined Notation (TTCN). Available at ftp:\/\/ftp.npl.co.uk\/pub\/ttcn\/"},{"key":"108_CR7","doi-asserted-by":"crossref","unstructured":"Johansson E, Pettersson M, Sagonas K, Lindgren T (2003) The development of the HiPE system: Design and experience report. Int J Softw Tools Technol Transfer 4(4): 420\u2013435","DOI":"10.1007\/s100090100068"},{"key":"108_CR8","doi-asserted-by":"crossref","unstructured":"Morzenti A, Mandrioli D, Ghezzi C (1992) A model-parametric real-time logic. ACM TOPLAS, 14(4): 521\u2013573, Oct 1992","DOI":"10.1145\/133233.129397"},{"key":"108_CR9","doi-asserted-by":"crossref","unstructured":"Park D (1976) Finiteness is mu-ineffable. Theor Comput Sci 3: 173\u2013181","DOI":"10.1016\/0304-3975(76)90022-0"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-003-0108-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-003-0108-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-003-0108-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-003-0108-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T07:25:17Z","timestamp":1559114717000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-003-0108-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,8]]},"references-count":9,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2003,8]]}},"alternative-id":["108"],"URL":"https:\/\/doi.org\/10.1007\/s10009-003-0108-7","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,8]]}}}