{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:32:05Z","timestamp":1725460325964},"publisher-location":"Boston","reference-count":18,"publisher":"Kluwer Academic Publishers","isbn-type":[{"type":"print","value":"1402081480"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/1-4020-8149-9_3","type":"book-chapter","created":{"date-parts":[[2006,2,22]],"date-time":"2006-02-22T14:53:33Z","timestamp":1140620013000},"page":"21-30","source":"Crossref","is-referenced-by-count":0,"title":["Verification Framework for UML-Based Design of Embedded Systems"],"prefix":"10.1007","author":[{"given":"Martin","family":"Kardos","sequence":"first","affiliation":[]},{"given":"Yuhong","family":"Zhao","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Object Management Group. UML Superstructure Submission V2.0. OMG Document ptc\/02-03-02, January 2003. URL: http:\/\/www.omg.org\/cgi-bin\/doc?ad\/2003-01-06 ."},{"key":"3_CR2","unstructured":"Y. Gurevich: Evolving Algebras 1993: Lipari Guide; E. B\u00f6rger (Eds.): Specification and Validation Methods, Oxford University Press, 1995."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"E. B\u00f6rger, A. Cavarra, and E. Riccobene: An ASM Semantics for UML Activity Diagrams, in Teodor Rus, ed., Algebraic Methodology and Software Technology, 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20\u201327, 2000, Proceedings, Springer LNCS 1816, 2000, 293\u2013308.","DOI":"10.1007\/3-540-45499-3_22"},{"key":"3_CR4","unstructured":"K. Compton, J. K. Huggins, and W. Shen: A Semantic Model for the State Machine in the Unified Modeling Language. In Gianna Reggio, Alexander Knapp, Bernhard Rumpe, Bran Selic, and Roel Wieringa, eds., \u201cDynamic Behaviour in UML Models: Semantic Questions\u201d, Workshop Proceedings, UML 2000 Workshop, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, Bericht 0006, October 2000, 25\u201331."},{"key":"3_CR5","unstructured":"Y. Gurevich, W. Schulte, C. Campbell, W. Grieskamp. AsmL: The Abstract State Machine Language Version 2.0. http:\/\/research.microsoft.com\/foundations\/AsmL\/default .html"},{"key":"3_CR6","unstructured":"T. Fischer, J. Niere, L. Torunski, A. Z\u00fcndorf: Story Diagrams: A new Graph Rewrite Language based on the Unified Modelling Language and Java; in Proc. of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT), Paderborn, November 1998, LNCS, Springer Verlag."},{"key":"3_CR7","series-title":"Technical report","volume-title":"Efficient model checking via Buchi tableau automata","author":"G. Bhat","year":"2000","unstructured":"G. Bhat, R. Cleaveland, and A. Groce: Efficient model checking via Buchi tableau automata. Technical report, Department of Computer Science, SUNY, Stony Brook, 2000"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"T. Sch\u00e4fer, A. Knapp, and S. Merz. Model Checking UML State Machines and Collaborations. In Proc. Wsh. Software Model Checking, Volume 55(3) of Elect. Notes Theo. Comp. Sci., Paries, 2001.","DOI":"10.1016\/S1571-0661(04)00262-2"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"A. Knapp, S. Merz, and C. Rauh. Model Checking Timed UML State Machines and Collaborations. Proc. 7th Int. Symp. Formal Techniques in Real-Time and Fault Tolerant Systems, LNCS 2469, pages 395\u2013416. \u00a9Springer, Berlin, 2002","DOI":"10.1007\/3-540-45739-9_23"},{"key":"3_CR10","unstructured":"K. Diethers, U. Goltz and M. Huhn. Model Checking UML Statecharts with Time. In Proc. of the Workshop on Critical Systems Development with UML, 2002."},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"A. David, M. M\u00f6ller, and W. Yi. Formal Verification of UML Statecharts with Real-Time Extensions. In Proc. of FASE 2002 (ETAPS 2002). LNCS 2306, p218\u2013232, 2002.","DOI":"10.1007\/3-540-45923-5_15"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"S. Gnesi and D. Latella. Model Checking UML Statechart Diagrams using JACK. In Proc. Fourth IEEE International Symposium on High Assuarance Systems Enginering, IEEE Press, 1999.","DOI":"10.1109\/HASE.1999.809474"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"G. del Castillo and K. Winter: Model checking support for the ASM high-level language. In S. Graf and M. Schwartzbach, editors, Proc. on 6th Int. Conf. TACAS 2000, volume 1785 of LNCS, pages 331\u2013346, 2000.","DOI":"10.1007\/3-540-46419-0_23"},{"key":"3_CR14","volume-title":"Ph.D. thesis","author":"K. Winter","year":"2001","unstructured":"Kirsten Winter: Model Checking Abstract State Machines, Ph.D. thesis, Technical University of Berlin, Germany, 2001."},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"A. Gargantini, E. Riccobene, S. Rinzivillo: Using Spin to Generate Tests from ASM Specifications, In E. B\u00f6rger, A. Gargantini, E. Riccobene, editors, Proc. of 10th International Workshop on Abstract State Machines 2003, Taormina, Italy, March 3\u20137, 2003","DOI":"10.1007\/3-540-36498-6_15"},{"key":"3_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K. McMillan","year":"1993","unstructured":"K. McMillan: Symbolic Model Checking, Kluwer Academic Publishers, Boston (1993)."},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"G. J. Holzmann: The model checker SPIN. IEEE Transactions on Software Engineering, May 1997.","DOI":"10.1109\/32.588521"},{"key":"3_CR18","first-page":"154","volume":"1855","author":"E. Clarke","year":"2000","unstructured":"E. Clarke, O. Grumberg, S. Jha, Y. Lu and H. Veith. Counterexample-guided abstraction refinement. In Computer Aided Verification, volume 1855 of LNCS, pp. 154\u2013169, 2000.","journal-title":"Computer Aided Verification"}],"container-title":["IFIP International Federation for Information Processing","Design Methods and Applications for Distributed Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-8149-9_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:28:39Z","timestamp":1619555319000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-8149-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402081480"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/1-4020-8149-9_3","relation":{},"subject":[]}}