{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:56:56Z","timestamp":1754485016542},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540646082"},{"type":"electronic","value":"9783540693390"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0028777","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T01:48:09Z","timestamp":1133401689000},"page":"537-541","source":"Crossref","is-referenced-by-count":2,"title":["Real-time verification of Statemate designs"],"prefix":"10.1007","author":[{"given":"Udo","family":"Brockmeyer","sequence":"first","affiliation":[]},{"given":"Gunnar","family":"Wittich","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,18]]},"reference":[{"key":"52_CR1","doi-asserted-by":"crossref","unstructured":"S.B. Akers. Binary decision diagrams. In Transactions on Computers, No. 6 in Vol. C-27, pages 509\u2013516, IEEE, 1978","DOI":"10.1109\/TC.1978.1675141"},{"key":"52_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis and D. Dill. Model-Checking for Real-Time Systems. In Proceedings of the 5th Symposium on Logic in Computer Science, pages 414\u2013425, Philadelphia, June 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"52_CR3","doi-asserted-by":"crossref","unstructured":"U. Brockmeyer and G. Wittich. Tamagotchis need not die \u2014 Verification of Statemate Designs. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), March 1998","DOI":"10.1007\/BFb0054174"},{"key":"52_CR4","unstructured":"W. Damm, U. Brockmeyer, H.J. Holberg, G. Wittich and M. Eckrich. Einsatz formaler Methoden zur Erh\u00f6hung der Sicherheit eingebetteter Systeme im KFZ. VDI\/VW Gemeinschaftstagung, 1997"},{"key":"52_CR5","doi-asserted-by":"crossref","unstructured":"W. Damm, H. Hungar, B. Josko and A. Pnueli. A Compositional Real-Time Semantics of STATEMATE Designs. In Proceedings of COMPOS 97, edt. H. Langmaack and W.P. de Roever, Springer Verlag, to appear 1998","DOI":"10.1007\/3-540-49213-5_8"},{"key":"52_CR6","unstructured":"T. Filkorn, SIEMENS AG. Applications of Formal Verification in Industrial Automation and Telecommunication. In Proceedings, Workshop on Formal Design of Safety Critical Embedded Systems, April 1997"},{"key":"52_CR7","doi-asserted-by":"crossref","unstructured":"D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8, 1987.","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"52_CR8","doi-asserted-by":"publisher","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. Shtull-Trauring and M. Trakhtenbrot. STATEMATE: A working environment for the development of complex reactive systems. In IEEE Transactions on Software Engineering, 16:403\u2013414, 1990","journal-title":"IEEE Transactions on Software Engineering"},{"key":"52_CR9","doi-asserted-by":"crossref","unstructured":"D. Harel and A. Naamad. The STATEMATE Semantics of Statecharts. In ACM transactions on software engineering and methodology, Vol 5 No 4, 1996","DOI":"10.1145\/235321.235322"},{"key":"52_CR10","volume-title":"Modeling Reactive Systems with Statecharts: The Statemate Approach","author":"D. Harel","year":"1996","unstructured":"D. Harel and M. Politi. Modeling Reactive Systems with Statecharts: The Statemate Approach. i-LOGIX INC., Three Riverside Drive, Andover, MA 01810, June 1996. Part No, D-1100-43"},{"key":"52_CR11","doi-asserted-by":"crossref","unstructured":"T. A. Henzinger and O. Kupferman. From Quantity to Quality. In Proceedings of Hybrid and Real-Time Systems (HART'97), March 1997","DOI":"10.1007\/BFb0014712"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0028777","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:23:28Z","timestamp":1586579008000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0028777"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540646082","9783540693390"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0028777","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}