{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:29:53Z","timestamp":1761596993189},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540474609"},{"type":"electronic","value":"9783540474623"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11901433_18","type":"book-chapter","created":{"date-parts":[[2006,11,20]],"date-time":"2006-11-20T12:40:51Z","timestamp":1164026451000},"page":"324-341","source":"Crossref","is-referenced-by-count":12,"title":["Verifying Statemate Statecharts Using CSP and FDR"],"prefix":"10.1007","author":[{"given":"A. W.","family":"Roscoe","sequence":"first","affiliation":[]},{"given":"Z.","family":"Wu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"7","key":"18_CR1","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1109\/32.708566","volume":"24","author":"R. Anderson","year":"1998","unstructured":"Anderson, R., Beame, P., Burns, S., Chan, W., Modugno, F., Notkin, D., Reese, J.: Model checking large software specifications. IEEE Transactions on Software Engineering\u00a024(7), 498\u2013520 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/3-540-48092-7_14","volume-title":"Correct System Design","author":"T. Bienmuller","year":"1999","unstructured":"Bienmuller, T., Bohn, J., Brinkmann, H., Brockmeyer, U., Damm, W., Hungar, H., Jansen, P.: Verification of automotive control units. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol.\u00a01710, pp. 319\u2013341. Springer, Heidelberg (1999)"},{"key":"18_CR3","series-title":"Safety-critical Systems Club","first-page":"150","volume-title":"Towards System Safety - Proceedings of the Seventh Safety-critical Systems Symposium","author":"T. Bienmuller","year":"1999","unstructured":"Bienmuller, T., Brockmeyer, U., Damm, W., Dohmen, G., Holberg, H.-J., Hungar, H., Josko, B., Schlor, R., Wittich, G., Wittke, H., Clements, G., Rowlands, J., Sefton, E.: Formal verification of an avionics application using abstraction and symbolic model checking. In: Redmill, F., Anderson, T. (eds.) Towards System Safety - Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK. Safety-critical Systems Club, pp. 150\u2013173. Springer, Berlin (1999)"},{"key":"18_CR4","unstructured":"Burch, J.R., Clarke, E.M., Long, D.E.: Symbolic model checking with partitioned transition relations. In: VLSI 1991, Edinburgn, Scotland (1990)"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L.: Sequential circuit verification using symbolic model checking. In: 27th ACM\/IEEE Design Automation Conference (1990)","DOI":"10.1145\/123186.123223"},{"key":"18_CR6","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, J.: Symbolic model checking: 10E20 states and beyond. In: LICS (1990)"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1007\/10722167_45","volume-title":"Computer Aided Verification","author":"T. Bienmuller","year":"2000","unstructured":"Bienmuller, T., Damm, W., Wittke, H.: The Statemeat Verification Environment \u2013 Making it real. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, p. 561. Springer, Heidelberg (2000)"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Grumberg, O., Long, D.E.: Model Checking and Abstraction. In: Proceedings of the Nineteenth Annual ACM Symposium on Principles of Programming Languages (1992)","DOI":"10.1145\/143165.143235"},{"key":"18_CR9","volume-title":"FMOODS 1999 IFIP TC6\/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems","author":"W. Damm","year":"1999","unstructured":"Damm, W., Harel, D.: LSCs: breathing life into message sequence charts. In: FMOODS 1999 IFIP TC6\/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems. Kluwer Academic Publishers, NY (1999)"},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings, International Symposium on Compositionality-The Significant Diference","author":"W. Damm","year":"1998","unstructured":"Damm, W., Josko, B., Hungar, H., Pnueli, A.: A compositiona real-time semantics of STATEMATE designs. In: de Roever, W.-P. (ed.) Proceedings, International Symposium on Compositionality-The Significant Diference. LNCS. Springer, Heidelberg (1998)"},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1023\/A:1011279932612","volume":"19","author":"W. Damm","year":"2001","unstructured":"Damm, W., Klose, J.: Verification of a radio-based signalling system using the Statemate verification environment. Formal Methods in System Design\u00a019, 121\u2013141 (2001)","journal-title":"Formal Methods in System Design"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Eshuis, H., Wieringa, R.: A Formal Semantics for UML Activity Diagrams C Formalising Workflow Models, Technical Report (2001)","DOI":"10.1007\/3-540-45314-8_7"},{"key":"18_CR13","unstructured":"Formal Systems (Europe) Ltd., Failures-Divergence Refinement, User Manual, obtainable from: http:\/\/www.fsel.com\/fdr2_manual.html"},{"key":"18_CR14","unstructured":"Fuhrmann, K., Hiemer, J.: Formal Verification of STATEMATE-Statecharts (2001), Citeseer.nj.nec.com\/255163.html"},{"key":"18_CR15","unstructured":"Fokkink, W.J., Hollingshead, P.: Verification of interlockings: from control tables to ladder logic diagrams. In: Proceedings of the 3rd Workshop on Formal Methods for Industrial Critical Systems-FMICS 1998, Amsterdam, Stichting Mathematisch Centrum (1998)"},{"key":"18_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1007\/3-540-63010-4_11","volume-title":"Transformation-Based Reactive Systems Development","author":"K. Feyerabend","year":"1997","unstructured":"Feyerabend, K., Josko, B.: VIS: A visual formalism for real time requirement specifications. In: Rus, T., Bertr\u00e1n, M. (eds.) AMAST-ARTS 1997, ARTS 1997, and AMAST-WS 1997. LNCS, vol.\u00a01231, pp. 156\u2013168. Springer, Heidelberg (1997)"},{"key":"18_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"T.V. Group","year":"1996","unstructured":"Group, T.V.: VIS: A system for verification and synthesis. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102. Springer, Heidelberg (1996)"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Harel, D., Naamad, A.: The Statemate Semantics of Statecharts, Technical Report, i-Logix (1995)","DOI":"10.1145\/235321.235322"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Trauring, A.S.: Statemate: A Working Environment for the Development of Complex Reactive Systems. IEEE Transactions on Software Engineering\u00a016(4) (1990)","DOI":"10.1109\/32.54292"},{"key":"18_CR20","unstructured":"Hudak, J., Dorda, S.C., Gluch, D.P., Lewis, G., Weinstock, C.: Model-Based Verification: Abstraction Guidelines, Technical Note CMU\/SEI-2002-TN-001 (2002)"},{"key":"18_CR21","unstructured":"Harel, D., Politi, M.: Modeling Reactive Systems with Statecharts: The STATEMATE Approach, Part No.D-1100-43, i-Logix Inc., Three Riverside Drive, Andover, MA 01810 (June 1996)"},{"key":"18_CR22","unstructured":"The MathWorks, Stateflow, User Manual, obtainable from: http:\/\/www.mathworks.com\/access\/helpdesk\/help\/toolbox\/stateflow\/ug\/"},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"Mikk, E., Lakhnech, Y., Petersohn, C., Siegel, M.: On Formal Semantics of Statecharts as Supported by STATEMATE, Technical Report, BCS-FACS Northern Formal Methods Workshop, 2, Ilkley (1997)","DOI":"10.14236\/ewic\/FA1997.12"},{"issue":"1","key":"18_CR24","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/237432.237438","volume":"6","author":"L.E. Moser","year":"1997","unstructured":"Moser, L.E., Ramakrishna, Y., Kutty, G., Melliar-Smith, P., Dillon, L.: A graphical environment for design of concurrent real-time systems. ACM Transactions on Software Engineering and Methodology\u00a06(1), 31\u201379 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"18_CR25","volume-title":"The theory and practice of concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The theory and practice of concurrency. Prentice-Hall International, Englewood Cliffs (1998)"},{"key":"18_CR26","unstructured":"Roscoe, A.W.: Compiling Statemate Statecharts into CSP and verifying them using FDR \u2013 abstract, Technical Report (2003)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11901433_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T19:15:25Z","timestamp":1683659725000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11901433_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540474609","9783540474623"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11901433_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}