{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T07:40:52Z","timestamp":1725608452817},"publisher-location":"Vienna","reference-count":9,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211832820"},{"type":"electronic","value":"9783709163559"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-7091-6355-9_7","type":"book-chapter","created":{"date-parts":[[2011,9,15]],"date-time":"2011-09-15T07:42:02Z","timestamp":1316072522000},"page":"92-107","source":"Crossref","is-referenced-by-count":2,"title":["Formal Verification of Statemate-Statecharts"],"prefix":"10.1007","author":[{"given":"Kay","family":"Fuhrmann","sequence":"first","affiliation":[]},{"given":"Jan","family":"Hiemer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"M. Conrad and E. Lehmann. Anforderungsspezifikation des Fahrgeschwindigkeitskonstanters mit Z und Statemate. Technischer Bericht Nr. F3S\/K96\u201303,Daimler Benz AG, Berlin, 1996."},{"key":"7_CR2","series-title":"Handbook of Theoretical Computer Science MIT Press","volume-title":"Temporal and modal logic","author":"EA Emmerson","year":"1990","unstructured":"E. A. Emmerson. Temporal and modal logic. Handbook of Theoretical Computer Science MIT Press, 1990."},{"key":"7_CR3","unstructured":"Formal Systems (Europe) Ltd. Failures Divergence Refinement, FDR2 User Manual, 1997."},{"key":"7_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"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, and Mark Trakhtenbrot. Statemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16 No. 4, April 1990.","DOI":"10.1109\/32.54292"},{"key":"7_CR6","series-title":"Technical Report, i-Logis","volume-title":"The stalemate semantics of statecharts","author":"D Harel","year":"1995","unstructured":"David Harel and Amnon Naamad. The stalemate semantics of statecharts. Technical Report, i-Logis, October 1995."},{"issue":"21","key":"7_CR7","first-page":"666","volume":"8","author":"CAR Hoare","year":"1978","unstructured":"C.A.R. Hoare. Communicating sequential processes. Communications of the ACM, Number\n                8, 21: 666\u2013667, 1978.","journal-title":"Number"},{"key":"7_CR8","series-title":"Prentice Hall International","volume-title":"CSP - Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"C.A.R. Hoare. CSP - Communicating Sequential Processes. Prentice Hall International, 1985."},{"key":"7_CR9","series-title":"Oxford University Computing Laboratory","volume-title":"Tools for CSP and Timed CSP, D.Phil","author":"JB Scattergood","year":"1995","unstructured":"J.B. Scattergood. Tools for CSP and Timed CSP, D.Phil. Oxford University Computing Laboratory, 1995."}],"container-title":["Tool Support for System Specification, Development and Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6355-9_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T09:36:06Z","timestamp":1606124166000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6355-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783211832820","9783709163559"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6355-9_7","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}