{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:46Z","timestamp":1751983666384},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635314"},{"type":"electronic","value":"9783540695929"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63531-9_30","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T20:01:15Z","timestamp":1270497675000},"page":"450-467","source":"Crossref","is-referenced-by-count":14,"title":["Reduction and slicing of hierarchical state machines"],"prefix":"10.1007","author":[{"given":"Mats P. E.","family":"Heimdahl","sequence":"first","affiliation":[]},{"given":"Michael W.","family":"Whalen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,8,1]]},"reference":[{"key":"30_CR1","unstructured":"J. Chang and D.J. Richardson. Static and dynamic specification slicing. In Proceedings of the Fourth Irvine Software Symposium, April 1994."},{"key":"30_CR2","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"issue":"4","key":"30_CR3","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. ShtullTrauring, and M. Trakhtenbrot. Statemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4):403\u2013414, April 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"30_CR4","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"D. Harel and A. Naamad. The STATEMATE semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, vol-5(4):293\u2013333, October 1996.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"D. Harel and A. Pnueli. On the development of reactive systems. In K.R. Apt, editor, Logics and Models of Concurrent Systems, pages 477\u2013498. Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"M. P.E. Heimdahl and N.G. Leveson. Completeness and Consistency Analysis of State-Based Requirements. In Proceedings of the 17th International Conference on Software Engineering, pages 3\u201314, April 1995.","DOI":"10.1145\/225014.225015"},{"issue":"6","key":"30_CR7","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1109\/32.508311","volume":"TSE22","author":"M. P. Heimdahl","year":"1996","unstructured":"M. P.E. Heimdahl and N.G. Leveson. Completeness and Consistency Analysis of State-Based Requirements. IEEE Transactions on Software Engineering, TSE22(6):363\u2013377, June 1996.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"30_CR8","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1145\/234426.234431","volume":"5","author":"C. L. Heitmeyer","year":"1996","unstructured":"C. L. Heitmeyer, R.D. Jeffords, and B. L. Labaw. Consistency checking of SCRstyle requirements specifications. ACM Transactions on Software Engineering and Methodology, vol-5(3):231\u2013261, July 1996.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"C. L. Heitmeyer, B. L. Labaw, and D. Kiskis. Consistency checking of SCR-style requirements specifications. In Proceedings of the International Symposium on Requirements Engineering, March 1995.","DOI":"10.1109\/ISRE.1995.512546"},{"issue":"1","key":"30_CR10","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/TSE.1980.230208","volume":"6","author":"K. L. Heninger","year":"1980","unstructured":"K. L. Heninger. Specifying software for complex systems: New techniques and their application. IEEE Transactions on Software Engineering, 6(1):2\u201313, January 1980.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"30_CR11","unstructured":"D.J. Keenan and M.P.E. Heimdahl. Code generation from hierarchicl state machines. In Proceedings of the International Symposium on Requirements Engineering, 1997."},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"N. G. Leveson, M. P.E. Heimdahl, H. Hildreth, J. Reese, and R. Ortega. Experiences using Statecharts for a system requirements specification. In Proceedings of the Sixth International Workshop on Software Specification and Design, pages 31\u201341, 1991.","DOI":"10.1109\/IWSSD.1991.213079"},{"issue":"9","key":"30_CR13","doi-asserted-by":"crossref","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. Requirements specification for process-control systems. IEEE Transactions on Software Engineering, 20(9):694\u2013707, September 1994.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"30_CR14","unstructured":"T. Oda and K. Araki. Specification slicing in formal methods of software engineering. In Proceedings of the Seventeenth International Computer Software and Applications Conference, November 1993."},{"key":"30_CR15","doi-asserted-by":"crossref","unstructured":"A.M. Sloane and J. Holdsworth. Beyond traditional program slicing. In Proceedings of the International Symposium on Software Testing and Analysis, pages 180\u2013186, January 1996.","DOI":"10.1145\/229000.226315"},{"key":"30_CR16","unstructured":"J.M. Spivy. The Z Notation: A Reference Manual. Prentice-Hall, 1992."},{"issue":"4","key":"30_CR17","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"SE-10","author":"M. Weiser","year":"1984","unstructured":"M. Weiser. Program slicing. IEEE Transactions on Software Engineering, SE-10(4):352\u2013357, July 1984.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Software Engineering \u2014 ESEC\/FSE'97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63531-9_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T15:13:54Z","timestamp":1549206834000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63531-9_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635314","9783540695929"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-63531-9_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}