{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:24Z","timestamp":1725665004808},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617723"},{"type":"electronic","value":"9783540706779"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61772-8_46","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:23:24Z","timestamp":1330277004000},"page":"321-332","source":"Crossref","is-referenced-by-count":5,"title":["Proving safety properties for embedded control systems"],"prefix":"10.1007","author":[{"given":"Cinzia","family":"Bernardeschi","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[]},{"given":"Giorgio","family":"Mongardi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,6]]},"reference":[{"key":"20_CR1","first-page":"474","volume-title":"An experience in formal verification of safety properties of a railway signalling control system","author":"A. Anselmi","year":"1995","unstructured":"A. Anselmi, C. Bernardeschi, A. Fantechi, S. Gnesi, S. Larosa, G. Mongardi, F. Torielli. An experience in formal verification of safety properties of a railway signalling control system, in Proceedings of the SAFECOMP'95 Conference, Belgirate, Springer-Verlag, 1995, pp. 474\u2013488."},{"key":"20_CR2","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/52.391826","volume":"12","author":"J.P. Bowen","year":"1995","unstructured":"Bowen, J.P., Hinchey, M.G, Seven More Myths of Formal Methods, IEEE Software, 12, July 1995, pp. 34\u201341.","journal-title":"IEEE Software"},{"key":"20_CR3","first-page":"207","volume":"n.54","author":"A. Bouali","year":"1994","unstructured":"A. Bouali, S. Gnesi, S. Larosa. The integration Project for the JACK Environment. Bulletin of the EATCS, n.54, October 1994, pp.207\u2013223.","journal-title":"Bulletin of the EATCS"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Boudol, G Notes on Algebraic Calculi of Processes. Notes on Algebraic Calculi of Processes, NATO ASI Series F13, 1985.","DOI":"10.1007\/978-3-642-82453-1_9"},{"key":"20_CR5","unstructured":"G. Bruns. A Case Study in safety Critical Design. Workshop on Computer Aided Verification, Lecture Notes in Computer Science 663, Springer-Verlag, 1992, pp. 213\u2013224."},{"issue":"2","key":"20_CR6","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"J. R. Burch","year":"1992","unstructured":"J. R. Burch, E.M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang. Symbolic model checking: 1020 states and beyond. Information and Computation 98(2), June 1992, pp. 142\u2013270.","journal-title":"Information and Computation"},{"issue":"n.2","key":"20_CR7","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"E.M. Clarke, E.A. Emerson, A.P. Sistla. Automatic Verification of Finite State Concurrent Systems using Temporal Logic Specifications. ACM Transaction on Programming Languages and Systems, vol.8, n. 2, 1986, pp. 244\u2013263.","journal-title":"ACM Transaction on Programming Languages and Systems"},{"issue":"5","key":"20_CR8","doi-asserted-by":"crossref","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"E.M. Clarke","year":"1994","unstructured":"E.M. Clarke, O. Grumberg, D.E. Long. Model Checking and Abstraction. ACM Toplas 16(5), 1994, pp. 1512\u20131542.","journal-title":"ACM Toplas"},{"key":"20_CR9","unstructured":"Railway Applications: Software for Railway Control and Protection Systems. CEN-ELEC draft CLC\/SC9XA\/WG1 (sec) 78, February 1994."},{"key":"20_CR10","volume-title":"Formal Description Techniques, V (C-10)","author":"C. Silva Da","year":"1993","unstructured":"C. Da Silva, B. Dehbonei, F. Mejia. Formal Specification in the Development of Industrial Applications: Subway Speed Control System. Formal Description Techniques, V (C-10) M. Diaz and R. Groz (Editors) Elsevier Science Publishers B, V, (North-Holland), 1993."},{"key":"20_CR11","first-page":"761","volume-title":"Computer Networks and ISDN Systems, vol. 25 (7)","author":"R. Nicola De","year":"1993","unstructured":"R. De Nicola, A. Fantechi, S. Gnesi, G. Ristori. An Action-based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. Computer Networks and ISDN Systems, vol. 25 (7), Elsevier Science Publishers B.V. (North-Holland), 1993, pp. 761\u2013778."},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/3-540-53479-2_17","volume-title":"Actions versus State Based Logics for Transition Systems","author":"R. Nicola De","year":"1990","unstructured":"R. De Nicola, F.W. Vaandrager. Actions versus State Based Logics for Transition Systems. In Proc. Ecole de Printemps on Semantics of Concurrency, Lecture Notes in Computer Science vol. 469, Springer, Berlin, 1990, pp. 407\u2013419."},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"E.A. Emerson, J.Y. Halpern. Decision procedures and expressiveness in the temporal logic of branching time. Journal of computer and system sciences, 30, pp. 1\u201324.","DOI":"10.1016\/0022-0000(85)90001-7"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"S. Fisher, A. Scholz, D. Taubner. Verification in Process Algebra of the Distributed Control of Track Vehicles \u2014 A Case Study. Journal of Formal Methods in System Design, Kluwer Academic Publishers, February 1994.","DOI":"10.1007\/BF01384080"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"V. Hartonas-Garmhausen, T. Kurfess, E.M. Clarke, D. Long. Automatic verification of Industrial Designs. Workshop on Industrial-Strength Formal Specification Techniques, Boca Raton, Florida, April 1995.","DOI":"10.1109\/WIFT.1995.515481"},{"key":"20_CR16","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"C.A.R. Hoare. Communicating Sequential Processes Prentice Hall Int., London, 1985."},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"J.C. Laprie (Ed.). Dependability: Basic Concepts and Terminology. Dependable Computing and Fault-Tolerant Systems, vol. 5, Springer-Verlag, 1992.","DOI":"10.1007\/978-3-7091-9170-5"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Z. Manna, A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems \u2014 Specification. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"K.L. McMillan. Symbolic Model Checking: An approach to the State Explosion Problem. Kluwer Academic Publisher, 1993.","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"20_CR20","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"G. Mongardi. Dependable Computing for Railway Control Systems, in Dependable Computing for Critical Applications 3, Dependable Computing and Fault-Tolerant Systems 8, Springer-Verlag, 1992, pp. 255\u2013277.","DOI":"10.1007\/978-3-7091-4009-3_11"}],"container-title":["Lecture Notes in Computer Science","Dependable Computing \u2014 EDCC-2"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61772-8_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:10:38Z","timestamp":1605629438000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61772-8_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617723","9783540706779"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-61772-8_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}