{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:45:13Z","timestamp":1725633913472},"publisher-location":"London","reference-count":16,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781852331078"},{"type":"electronic","value":"9781447108511"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-1-4471-0851-1_13","type":"book-chapter","created":{"date-parts":[[2011,11,16]],"date-time":"2011-11-16T12:27:59Z","timestamp":1321446479000},"page":"231-250","source":"Crossref","is-referenced-by-count":0,"title":["An Approach to the Combination of Formal Description Techniques: Statecharts and TLA"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Dei\u00df","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"13_CR1","doi-asserted-by":"publisher","first-page":"1543","DOI":"10.1145\/186025.186058","volume":"16","author":"M Abadi","year":"1994","unstructured":"M. Abadi and L. Lamport. An old-fashioned recipe for real time. ACM TOPLAS, 16(5):1543\u20131571, 1994.","journal-title":"ACM TOPLAS"},{"key":"13_CR2","volume-title":"Proc. NATO Advanced Study Institute on Deductive Program Design, 1994","author":"M Abadi","year":"1996","unstructured":"M. Abadi and S. Merz. On TLA as a logic. In M. Broy, editor, Proc. NATO Advanced Study Institute on Deductive Program Design, 1994\u201a volume 152 of NATO ASI series F. Springer, 1996."},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/3-540-49213-5_8","volume-title":"Proc. Intl. Symp. Compos\u201997, Compositionality \u2014 The Significant Difference","author":"W Damm","year":"1998","unstructured":"W. Damm, B. Josko, H. Hungar, and A. Pnueli. A compositional real-time semantics of STATEMATE designs. In W.-P. de Roever, H. Langmaack, and A. Pnueli, editors, Proc. Intl. Symp. Compos\u201997, Compositionality \u2014 The Significant Difference, volume 1536 of LNCS, pages 186\u2013238. Springer, 1998."},{"key":"13_CR4","volume-title":"A model checker for statecharts (linking CASE tools with formal methods)","author":"N Day","year":"1993","unstructured":"N. Day. A model checker for statecharts (linking CASE tools with formal methods). Technical report 93\u201335, Department of Computer Science, Vancouver, B.C. Canada, 1993."},{"key":"13_CR5","volume-title":"Sonderforschungsbereich 501","author":"T Dei\u00df","year":"1996","unstructured":"T. Dei\u00df. Combining a state based formalism with temporal logic. SFB 501 Bericht 05\/1996, Sonderforschungsbereich 501, Fachbereich Informatik, Universit\u00e4t Kaiserslautern, 1996."},{"key":"13_CR6","volume-title":"On the combination of model and property oriented description techniques. PhD thesis, Fachbereich Informatik","author":"T Dei\u00df","year":"1999","unstructured":"T. Dei\u00df. On the combination of model and property oriented description techniques. PhD thesis, Fachbereich Informatik, Universit\u00e4t Kaiserslautern, 1999. Forthcoming."},{"key":"13_CR7","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"},{"issue":"4","key":"13_CR8","doi-asserted-by":"publisher","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 TOSEM, 5(4):293\u2013333, 1996.","journal-title":"ACM TOSEM"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"580","DOI":"10.1007\/BF01211870","volume":"6","author":"L Lamport","year":"1994","unstructured":"L. Lamport. How to write a long formula. Formal Aspects of Computing, 6:580\u2013584, 1994.","journal-title":"Formal Aspects of Computing"},{"issue":"3","key":"13_CR10","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L Lamport","year":"1994","unstructured":"L. Lamport. The temporal logic of actions. ACM TOPLAS, 16(3):872\u2013923, 1994.","journal-title":"ACM TOPLAS"},{"issue":"9","key":"13_CR11","first-page":"768","volume":"21","author":"L Lamport","year":"1995","unstructured":"L. Lamport. TLA in pictures.IEEE TSE, 21(9):768\u2013775, 1995.","journal-title":"IEEE TSE"},{"key":"13_CR12","first-page":"185","volume-title":"Proc. Europ. Symp. on Programming, ES OP \u201998","author":"F Maraninchi","year":"1998","unstructured":"F. Maraninchi and Y. R\u00e9mond. Mode-Automata: About modes and states for reactive systems. In C. Hankin, editor, Proc. Europ. Symp. on Programming, ES OP \u201998, volume 1381 of LNCS, pages 185\u2013199. Springer, 1998."},{"key":"13_CR13","first-page":"159","volume-title":"Proc. GI\/ITG Fachgespr\u00e4ch Formale Beschreibungstechniken f\u00fcr verteilte Systeme","author":"A Mester","year":"1996","unstructured":"A. Mester and V. Mattick. Verbindung zwischen Statecharts und TLA zur Spezifikation verteilter Systeme. In U. Herzog and H. Herrmanns, editors, Proc. GI\/ITG Fachgespr\u00e4ch Formale Beschreibungstechniken f\u00fcr verteilte Systeme, volume 29 of Arbeitsberichte des Instituts f\u00fcr Mathematische Maschinen und Datenverarbeitung (Informatik), pages 159\u2013164. Universit\u00e4t Erlangen, N\u00fcrnberg, 1996. Extended abstract, in German."},{"key":"13_CR14","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-54415-1_49","volume-title":"Proc. Intl. Conf. TACS \u201991: Theoretical Aspects of Computer Software","author":"A Pnueli","year":"1991","unstructured":"A. Pnueli and M. Shalev. What is in a step: On the semantics of statecharts. In T. Ito and A. R. Meyer, editors, Proc. Intl. Conf. TACS \u201991: Theoretical Aspects of Computer Software, volume 526 of LNCS, pages 244\u2013264. Springer, 1991."},{"key":"13_CR15","first-page":"307","volume-title":"Proc. Intl. Symp. of Formal Methods Europe FME\u201996","author":"M Weber","year":"1996","unstructured":"M. Weber. Combining statecharts and Z for the design of safety-critical control systems. In M. C. Gaudel and J. Woodcock, editors, Proc. Intl. Symp. of Formal Methods Europe FME\u201996, volume 1051 of LNCS, pages 307\u2013326. Springer, 1996."},{"issue":"l","key":"13_CR16","first-page":"l","volume":"6","author":"P Zave","year":"1997","unstructured":"P. Zave and M. Jackson. Four dark corners of requirements engineering. ACM TOSEM, 6(l):l\u201330, 1997.","journal-title":"ACM TOSEM"}],"container-title":["IFM\u201999"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0851-1_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T00:50:34Z","timestamp":1619830234000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0851-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9781852331078","9781447108511"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0851-1_13","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}