{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:47:58Z","timestamp":1754488078435},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650034"},{"type":"electronic","value":"9783540497929"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055343","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T03:28:45Z","timestamp":1153970925000},"page":"133-142","source":"Crossref","is-referenced-by-count":5,"title":["Static analysis to identify invariants in RSML specifications"],"prefix":"10.1007","author":[{"given":"David Y. W.","family":"Park","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens U.","family":"Skakkeb\u00c6k","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David L.","family":"Dill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,27]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"R.J. Anderson, P.Beame, S. Burns, W. Chan, F. Modugno, Notkin D, and J.D. Reese. Model checking large software specifications. In D. Garlan, editor, Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering (SIGSOFT\u201996), pages 156\u2013166, October 1996.","key":"13_CR1","DOI":"10.1145\/239098.239127"},{"doi-asserted-by":"crossref","unstructured":"C. Barrett D.L. Dill and J. Levitt. Validity checking for combinations of theories with equality. In M. Srivas and A. Camilleri, editors, Formal Methods in Computer Aided Design (FMCAD), number 1166 in Lecture Notes in Computer Science, pages 197\u2013201. Springer-Verlag, November 1996.","key":"13_CR2","DOI":"10.1007\/BFb0031808"},{"issue":"2","key":"13_CR3","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/32.345825","volume":"21","author":"S. Gerhart","year":"1995","unstructured":"S. Gerhart, D. Craigen, and T. Ralston. Formal methods reality check: Industrial usage. IEEE Transactions on Software Engineering, 21(2):90\u201398, February 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR4","doi-asserted-by":"publisher","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"},{"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 Conc. Systems, pages 477\u2013498. Springer-Verlag, 1985.","key":"13_CR5","DOI":"10.1007\/978-3-642-82453-1_17"},{"issue":"6","key":"13_CR6","first-page":"363","volume":"22","author":"M. P. Heimdahl","year":"1996","unstructured":"M. P.E. Heimdahl and N.G. Leveson. Completeness and consistency analysis of state-based requirements. IEEE TSE, 22(6):363\u2013377, June 1996.","journal-title":"IEEE TSE"},{"issue":"3","key":"13_CR7","doi-asserted-by":"publisher","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. G. Labaw. Automated consistency checking of requirements specifications. TOSEM, 5(3):231\u2013261, July 1996.","journal-title":"TOSEM"},{"key":"13_CR8","first-page":"97","volume-title":"Tablewise, a decision table tool","author":"D.N. Hoover","year":"1995","unstructured":"D.N. Hoover and Zewei Chen. Tablewise, a decision table tool. In J. Rushby, editor, Proceedings of 10th Annual Conference on Computer Assurance (COMPASS \u201995), pages 97\u2013108, Gaithersburg, MD, USA, June 1995. IEEE."},{"issue":"3","key":"13_CR9","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1109\/32.75414","volume":"17","author":"M. S. Jaffe","year":"1991","unstructured":"M. S. Jaffe, N. G. Leveson, M. P.E. Heimdahl, and B. Melhart. Software requirements analysis for real-time process-control systems. IEEE Transactions on Software Engineering, 17(3):241\u2013258, March 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"9","key":"13_CR10","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. Requirements specification for process control systems. IEEE Transactions on Software Engineering, 20(9):694\u2013707, September 1994.","journal-title":"IEEE Transactions on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"D. Y.W. Park, J.U. Skakkeb\u00c6k, M. P.E. Heimdahl, B.J. Czerny, and D.L. Dill. Checking properties of safety critical specifications using efficient decision procedures. In Formal Methods in Software Practice, pages 34\u201343. ACM Press, 1998.","key":"13_CR11","DOI":"10.1145\/298595.298603"},{"issue":"2","key":"13_CR12","first-page":"189","volume":"32","author":"D. L. Parnas","year":"1991","unstructured":"D. L. Parnas, G. J. K. Asmis, and J. Madey. Assessment of safety-critical software in nuclear power plants. Nuclear Safety, 32(2):189\u2013198, April\u2013June 1991.","journal-title":"Nuclear Safety"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055343","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T04:28:43Z","timestamp":1555734523000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055343"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650034","9783540497929"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0055343","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}