{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:54:34Z","timestamp":1725476074398},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677703"},{"type":"electronic","value":"9783540450474"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722167_23","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T22:00:33Z","timestamp":1167429633000},"page":"280-295","source":"Crossref","is-referenced-by-count":19,"title":["Efficient Reachability Analysis of Hierarchical Reactive Machines"],"prefix":"10.1007","author":[{"given":"R.","family":"Alur","sequence":"first","affiliation":[]},{"given":"R.","family":"Grosu","sequence":"additional","affiliation":[]},{"given":"M.","family":"McDougall","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Alur, R., Grosu, R.: Modular refinement of hierarchic reactive machines. In: Proceedings of the 27th Annual ACM Symposium on Principles of Programming Languages, pp. 390\u2013402 (2000)","key":"23_CR1","DOI":"10.1145\/325694.325746"},{"issue":"1","key":"23_CR2","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008739929481","volume":"15","author":"R. Alur","year":"1999","unstructured":"Alur, R., Henzinger, T.A.: Reactive modules. Formal Methods in System Design\u00a015(1), 7\u201348 (1999)","journal-title":"Formal Methods in System Design"},{"key":"23_CR3","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1007\/BFb0028774","volume-title":"Proceedings of the 10th International Conference on Computer Aided Verification","author":"R. Alur","year":"1998","unstructured":"Alur, R., Henzinger, T., Mang, F., Qadeer, S., Rajamani, S., Tasiran, S.: MOCHA: Modularity in model checking. In: Y. Vardi, M. (ed.) CAV 1998. LNCS (LNAI), vol.\u00a01427, pp. 516\u2013520. Springer, Heidelberg (1998)"},{"unstructured":"Aggarwal, S., Kurshan, R.P., Sharma, D.: A language for the specification and analysis of protocols. In: IFIP Protocol Specification, Testing, and Verification III, pp. 35\u201350 (1983)","key":"23_CR4"},{"doi-asserted-by":"crossref","unstructured":"Alur, R., Kannan, S., Yannakakis, M.: Communicating hierarchical state machines. In: Automata, Languages and Programming, 26th International Colloquium, pp. 169\u2013178 (1999)","key":"23_CR5","DOI":"10.1007\/3-540-48523-6_14"},{"doi-asserted-by":"crossref","unstructured":"Alur, R., Yannakakis, M.: Model checking of hierarchical state ma- chines. In: Proceedings of the Sixth ACM Symposium on Foundations of Software Engineering, pp. 175\u2013188 (1998)","key":"23_CR6","DOI":"10.1145\/291252.288305"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1007\/3-540-61474-5_95","volume-title":"Computer Aided Verification","author":"R. Brayton","year":"1996","unstructured":"Brayton, R., Hachtel, G., Sangiovanni-Vincentell, A., Somenzi, F., Aziz, A., Cheng, S., Edwards, S., Khatri, S., Kukimoto, Y., Pardo, A., Qadeer, S., Ranjan, R., Sarwary, S., Shiple, T., Swamy, G., Villa, T.: VIS: A system for verification and synthesis. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 428\u2013432. Springer, Heidelberg (1996)"},{"key":"23_CR8","volume-title":"Unified Modeling Language User Guide","author":"G. Booch","year":"1997","unstructured":"Booch, G., Jacobson, I., Rumbaugh, J.: Unified Modeling Language User Guide. Addison-Wesley, Reading (1997)"},{"doi-asserted-by":"crossref","unstructured":"Behrmann, G., Larsen, K., Andersen, H., Hulgaard, H., Lind-Nielsen, J.: Verification of hierarchical state\/event systems using reusability and compositionality. In: TACAS 1999: Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Software (1999)","key":"23_CR9","DOI":"10.1007\/3-540-49059-0_12"},{"issue":"7","key":"23_CR10","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1109\/32.708566","volume":"24","author":"W. Chan","year":"1998","unstructured":"Chan, W., Anderson, R., Beame, P., Burns, S., Modugno, F., Notkin, D., Reese, J.: Model checking large software specifications. IEEE Transactions on Software Engineering\u00a024(7), 498\u2013519 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"23_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0025774","volume-title":"Proc. Workshop on Logic of Programs","author":"E.M. Clarke","year":"1981","unstructured":"Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Proc. Workshop on Logic of Programs. LNCS, vol.\u00a0131, pp. 52\u201371. Springer, Heidelberg (1981)"},{"issue":"6","key":"23_CR12","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/6.499951","volume":"33","author":"E.M. Clarke","year":"1996","unstructured":"Clarke, E.M., Kurshan, R.P.: Computer-aided verification. IEEE Spectrum\u00a033(6), 61\u201367 (1996)","journal-title":"IEEE Spectrum"},{"key":"23_CR13","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"23_CR14","volume-title":"Design and Validation of Computer Protocols","author":"G.J. Holzmann","year":"1991","unstructured":"Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs (1991)"},{"issue":"5","key":"23_CR15","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs (1991)","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"8","key":"23_CR16","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1109\/TC.1987.5009519","volume":"C-36","author":"F. Jahanian","year":"1987","unstructured":"Jahanian, F., Mok, A.K.: A graph-theoretic approach for timing analysis and its implementation. IEEE Transactions on Computers\u00a0C-36(8), 961\u2013975 (1987)","journal-title":"IEEE Transactions on Computers"},{"doi-asserted-by":"crossref","unstructured":"Leveson, N.G., Heimdahl, M., Hildreth, H., Reese, J.D.: Requirements specification for process control systems. IEEE Transactions on Software Engineerings\u00a020(9) (1994)","key":"23_CR17","DOI":"10.1109\/32.317428"},{"key":"23_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic model checking: an approach to the state explosion problem","author":"K. McMillan","year":"1993","unstructured":"McMillan, K.: Symbolic model checking: an approach to the state explosion problem. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"23_CR19","volume-title":"Computer Networks: A Systems Approach","author":"L. Peterson","year":"1996","unstructured":"Peterson, L., Davie, B.: Computer Networks: A Systems Approach. Morgan Kaufmann, San Francisco (1996)"},{"doi-asserted-by":"crossref","unstructured":"Peterson, G.: Myths about the mutual exclusion problem. Information Processing Letters\u00a012(3) (1981)","key":"23_CR20","DOI":"10.1016\/0020-0190(81)90106-X"},{"key":"23_CR21","series-title":"Lecture Notes in Computer Science","first-page":"195","volume-title":"International Symposium on Programming","author":"J.P. Queille","year":"1982","unstructured":"Queille, J.P., Sifakis, J.: Specification and verification of concurrent programs in CESAR. In: Dezani-Ciancaglini, M., Montanari, U. (eds.) Programming 1982. LNCS, vol.\u00a0137, pp. 195\u2013220. Springer, Heidelberg (1982)"},{"key":"23_CR22","volume-title":"Real-time object oriented modeling and design","author":"B. Selic","year":"1994","unstructured":"Selic, B., Gullekson, G., Ward, P.T.: Real-time object oriented modeling and design. J. Wiley, Chichester (1994)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722167_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T07:49:06Z","timestamp":1556005746000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722167_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677703","9783540450474"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/10722167_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}