{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:38:07Z","timestamp":1743122287023,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642275517"},{"type":"electronic","value":"9783642275524"}],"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-27552-4_134","type":"book-chapter","created":{"date-parts":[[2012,2,27]],"date-time":"2012-02-27T13:51:36Z","timestamp":1330350696000},"page":"1027-1034","source":"Crossref","is-referenced-by-count":1,"title":["Modeling and Testing of Automation Systems"],"prefix":"10.1007","author":[{"given":"Barath","family":"Kumar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oliver","family":"Niggemann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wilhelm","family":"Schaefer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juergen","family":"Jasperneite","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"134_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1007\/11526841_37","volume-title":"FM 2005: Formal Methods","author":"A. Pretschner","year":"2005","unstructured":"Pretschner, A.: Model-Based Testing in Practice. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 537\u2013541. Springer, Heidelberg (2005)"},{"key":"134_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07847-1","volume-title":"IEC 61131-3 Programming Industrial Automation Systems","author":"K.-H. John","year":"2001","unstructured":"John, K. H., Tiegelkamp, M.: IEC 61131-3 Programming Industrial Automation Systems. Springer, Berlin (2001) ISBN: 3-540677526"},{"key":"134_CR3","unstructured":"Kumar, B., Niggemann, O., Jasperneite, J.: Timed automata for modeling network traffic. In: 32nd Annual Conference on Artificial Intelligence (KI 2009), Paderborn, Germany (2009)"},{"key":"134_CR4","doi-asserted-by":"crossref","unstructured":"Khoumsi, A., Jron, T., Marchand, H.: Test cases generation for nondeterministic real-time systems. In: Formal Approaches for Testing Software (2003)","DOI":"10.1007\/978-3-540-24617-6_10"},{"key":"134_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/3-540-44830-6_16","volume-title":"Testing of Communicating Systems","author":"A. En-Nouaary","year":"2003","unstructured":"En-Nouaary, A., Dssouli, R.: A Guided Method for Testing Timed INPUT Output Automata. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol.\u00a02644, pp. 211\u2013225. Springer, Heidelberg (2003)"},{"key":"134_CR6","unstructured":"Salva, S., Petitjean, E., Fouchal, H.: A simple approach to testing timed systems. In: Workshop on Formal Approaches to Testing of Software (FATES 2001), Aalborg, Denmark (2001)"},{"key":"134_CR7","unstructured":"Becker, S., Dziwok, S., Schaefer, W., et al.: Mechatronicuml - syntax and semantics. Technical report, Software Engineering Group (2011)"},{"key":"134_CR8","volume-title":"Graph transformations and model-driven engineering","author":"W. Schaefer","year":"2010","unstructured":"Schaefer, W., Wehrheim, H.: Graph transformations and model-driven engineering. Springer, Heidelberg (2010)"},{"key":"134_CR9","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., et al.: The algorithmic analysis of hybrid systems. Theoretical Computer Science\u00a0138 (1995)","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"134_CR10","unstructured":"Kumar, B., Niggemann, O., Jasperneite, J.: Statistical models of network traffic. In: International Conference on Computer, Electrical and Systems Science, Cape Town, South Africa (2010)"},{"key":"134_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/3-540-45352-0_5","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"J. Sproston","year":"2000","unstructured":"Sproston, J.: Decidable Model Checking of Probabilistic Hybrid Automata. In: Joseph, M. (ed.) FTRTFT 2000. LNCS, vol.\u00a01926, pp. 31\u201345. Springer, Heidelberg (2000)"},{"key":"134_CR12","doi-asserted-by":"crossref","unstructured":"Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science\u00a0126 (1994)","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"134_CR13","unstructured":"Graeser, O., Kumar, B., Moriz, N., et al.: Automationml as a basis for offline- and realtime-simulation. In: 8th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2011) (July 2011)"},{"key":"134_CR14","unstructured":"Kumar, B., Niggemann, O., Jasperneite, J.: Test generation for hybrid, probabilistic control models. In: Entwurf komplexer Automatisierungssysteme (EKA 2010), Magdeburg, Germany (2010)"},{"key":"134_CR15","unstructured":"PNO: Profinet specification iec 61158-5-10 (v2.1) (2007)"}],"container-title":["Advances in Intelligent and Soft Computing","Frontiers in Computer Education"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27552-4_134","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T22:56:06Z","timestamp":1676760966000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-27552-4_134"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642275517","9783642275524"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27552-4_134","relation":{},"ISSN":["1867-5662","1867-5670"],"issn-type":[{"type":"print","value":"1867-5662"},{"type":"electronic","value":"1867-5670"}],"subject":[],"published":{"date-parts":[[2012]]}}}