{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T14:57:50Z","timestamp":1753887470870},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657033"},{"type":"electronic","value":"9783540490593"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49059-0_12","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T21:56:57Z","timestamp":1194991017000},"page":"163-177","source":"Crossref","is-referenced-by-count":8,"title":["Verification of Hierarchical State\/Event Systems Using Reusability and Compositionality"],"prefix":"10.1007","author":[{"given":"Gerd","family":"Behrmann","sequence":"first","affiliation":[]},{"given":"Kim G.","family":"Larsen","sequence":"additional","affiliation":[]},{"given":"Henrik R.","family":"Andersen","sequence":"additional","affiliation":[]},{"given":"Henrik","family":"Hulgaard","sequence":"additional","affiliation":[]},{"given":"J\u00f8rn","family":"Lind-Nielsen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,3,12]]},"reference":[{"key":"12_CR1","unstructured":"Baan VisualState A\/S. \n                    http:\/\/www.visualstate.com\n                    \n                  ."},{"key":"12_CR2","unstructured":"I-Logix Inc. \n                    http:\/\/www.ilogix.com\n                    \n                  ."},{"key":"12_CR3","unstructured":"ObjecTime Limited. \n                    http:\/\/www.objectime.on.ca\n                    \n                  ."},{"key":"12_CR4","unstructured":"Rational Software Corporation. \n                    http:\/\/www.rational.com\n                    \n                  ."},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Rajeev Alur and Mihalis Yannakakis. Model Checking of Hierarchical State Machines. Proceedings of the 6th ACM Symposium on Foundations, 1998.","DOI":"10.1145\/288195.288305"},{"key":"12_CR6","unstructured":"Steffen Braa Andersen, Gerd Behrmann, Claus Krogholm Pedersen, and Peter Smed Vestergaard. Reuseability and Compositionality applied to Verification of Hierarchical Systems. Master\u2019s thesis, Aalborg University, June 1998."},{"key":"12_CR7","unstructured":"Gerd Behrmann, Kim G. Larsen, Henrik R. Andersen, Henrik Hulgaard, and J\u00f8rn Lind-Nielsen. Verification of Hierarchical State\/Event Systems. To appear as a BRICS report (\n                    http:\/\/www.brics.dk\n                    \n                  ), 1999."},{"key":"12_CR8","unstructured":"G. Booch, I. Jacobsen, and J. Rumbaugh. Unified Modelling Language User Guide. Addison Wesley, 1997."},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R. E. Bryant","year":"1986","unstructured":"Randal E. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers, C-35:677\u2013691, August 1986.","journal-title":"IEEE Transactions on Computers"},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"issue":"8","key":"12_CR11","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1109\/TC.1987.5009519","volume":"C-36","author":"F. Jahanian","year":"1987","unstructured":"F. Jahanian and A. K. Mok. A graphtheoretic approach for timing analysis and its implementation. IEEE Transactions on Computers, C-36(8):961\u2013975, 1987.","journal-title":"IEEE Transactions on Computers"},{"issue":"9","key":"12_CR12","doi-asserted-by":"publisher","first-page":"694","DOI":"10.1109\/32.317428","volume":"20","author":"N. G. Leveson","year":"1994","unstructured":"N. G. Leveson, M. P. E. Heimdahl, H. Hildreth, and J. D. Reese. Requiremets specification for process control systems. IEEE Transactions on Software Engineering, 20(9):694\u2013707, September 1994.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/BFb0054173","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J. Lind-Nielsen","year":"1998","unstructured":"J\u00f8rn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, K\u00e5re Kristoffersen, and Kim G. Larsen. Verification of Large State\/Event Systems using Compositionality and Dependency Analysis. In Tools and Algorithms for the Construction and Analysis of Systems, volume 1384 of Lecture Notes in Computer Science, pages 201\u2013216. Springer, March\/April 1998."},{"key":"12_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BFb0055343","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"D. Y. W. Park","year":"1998","unstructured":"David Y. W. Park, Jens U. Skakkeb\u00e6k, and David L. Dill. Static Analysis to Identify Invariants in RSML Specifications. In Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 1486 of Lecture Notes in Computer Science, pages 133\u2013142. Springer, September 1998."},{"key":"12_CR15","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-oriented modeling and design. Prentice-Hall, 1991."},{"key":"12_CR16","unstructured":"B. Selic, G. Gullekson, and P. T. Ward. Real-time object oriented modeling and design. J. Wiley, 1994."}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49059-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T08:15:49Z","timestamp":1551082549000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49059-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657033","9783540490593"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-49059-0_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}