{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T14:38:22Z","timestamp":1648564702302},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2010,6,1]],"date-time":"2010-06-01T00:00:00Z","timestamp":1275350400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Elektrotech. Inftech."],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1007\/s00502-010-0741-2","type":"journal-article","created":{"date-parts":[[2010,7,23]],"date-time":"2010-07-23T09:51:48Z","timestamp":1279878708000},"page":"181-186","source":"Crossref","is-referenced-by-count":1,"title":["Towards generation of efficient test cases from UML\/OCL models for complex safety-critical systems"],"prefix":"10.1007","volume":"127","author":[{"given":"W.","family":"Herzner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Schlick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Sch\u00fctz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Brandl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Krenn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"741_CR1","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0167-6423(90)90069-P","volume":"13","author":"J. R. J. Back","year":"1991","unstructured":"Back, J. R. J., Sere, K. (1991): Stepwise refinement of Parallel Algorithms. In: Science of Computer Programming 13: 133\u2013180","journal-title":"Science of Computer Programming"},{"key":"741_CR2","first-page":"131","volume":"1983","author":"R. J. R. Back","year":"1983","unstructured":"Back, R. J. R., Kurki-Suonio, R. (1983): Decentralization of process nets with centralized control. In: Proc. 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, 1983: 131\u2013142","journal-title":"Proc. 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing"},{"issue":"4","key":"741_CR3","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1145\/48022.48023","volume":"10","author":"R. J. R. Back","year":"1988","unstructured":"Back, R. J. R., Kurki-Suonio, R. (1988): Distributed cooperation with action systems. ACM Trans Program Lang Syst, 10 (4): 513\u2013554","journal-title":"ACM Trans Program Lang Syst"},{"key":"741_CR4","unstructured":"Berardi, D. (2002): Using DLs to reason on UML Class Diagrams. In: Proc. of the KI-2002 Workshop W6 on Applications of Description Logics, ADL'02"},{"key":"741_CR5","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G. (2001): Reasoning on UML Class Diagram using Description Logic Based System. In: Proc. of the KI-2001 Workshop W6 on Applications of Description Logics, ADL'01"},{"key":"741_CR6","unstructured":"Bonsangue, M. M., Kok, J. N., Sere, K. (1998): An Approach to Object-Orientation in Action Systems. In: Proc. MPC'98, LNCS 1422, 1998. Berlin, Heidelberg: Springer. 68\u201395"},{"key":"741_CR7","volume-title":"Handbook of Software Engineering and Knowledge Engineering","author":"D. Djuric","year":"2004","unstructured":"Djuric, D., Ga\u0161evic, D., Deved\u017eic, V. (2004): MDA-Based Ontological Engineering. In: Chang, S. K. (Ed.): Handbook of Software Engineering and Knowledge Engineering, Vol. 3. Singapore: World Scientific Publishing Co"},{"key":"741_CR8","unstructured":"Gruber, T., B\u00f6hm, W. (2001): Elektronische Eisenbahnstellwerke \u2013 Fehlertolerante Systeme im Technologiewandel. IT'S TIME, Ed. 01, ARCS, Seibersdorf: 61\u201366"},{"key":"741_CR9","first-page":"56","volume":"2002","author":"W. Laun","year":"2002","unstructured":"Laun, W. (2002): Peripheral Simulation. In: Proc. YAPC Europe, M\u00fcnchen, 2002: 56\u201363","journal-title":"Proc. YAPC Europe, M\u00fcnchen"},{"key":"741_CR10","unstructured":"Object Management Group (2004): Object Constraint Language 2.0 Specification; ptc\/03-10\u201314"},{"key":"741_CR11","unstructured":"Object Management Group (2007): Unified Modeling Language (OMG UML); Infrastructure and Superstructure V2.1.2, OMG Document Number: formal\/2007-11-04; OMG 2007"},{"key":"741_CR12","unstructured":"Object Management Group (2009): Ontology Definition Metamodel; OMG Document Number: formal\/2009-05-01, http:\/\/www.omg.org\/spec\/ODM\/1.0\/"}],"container-title":["e & i Elektrotechnik und Informationstechnik"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00502-010-0741-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00502-010-0741-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00502-010-0741-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T01:48:31Z","timestamp":1559094511000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00502-010-0741-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6]]},"references-count":12,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2010,6]]}},"alternative-id":["741"],"URL":"https:\/\/doi.org\/10.1007\/s00502-010-0741-2","relation":{},"ISSN":["0932-383X","1613-7620"],"issn-type":[{"value":"0932-383X","type":"print"},{"value":"1613-7620","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,6]]}}}