{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:31:33Z","timestamp":1725550293978},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540292005"},{"type":"electronic","value":"9783540320005"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11563228_8","type":"book-chapter","created":{"date-parts":[[2005,10,8]],"date-time":"2005-10-08T09:11:49Z","timestamp":1128762709000},"page":"94-107","source":"Crossref","is-referenced-by-count":0,"title":["Automatic Analysis of a Safety Critical Tele Control System"],"prefix":"10.1007","author":[{"given":"Edoardo","family":"Campagnano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ester","family":"Ciancamerla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Minichino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Tronci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Bobbio, A., Ciancamerla, E., Minichino, M., Tronci, E.: Stochastic and functional analysis of a public mobile network in a safety critical context. In: European Safety & Reliability Conference (ESREL 2005), June 27-30 (2005)"},{"key":"8_CR2","unstructured":"A user guide to hytech, \n                  \n                    http:\/\/www.eecs.berkeley.edu\/~tah\/HyTech"},{"issue":"3","key":"8_CR3","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1109\/32.489079","volume":"22","author":"R. Alur","year":"1996","unstructured":"Alur, R., Henzinger, T.A., Ho, P.-H.: Automatic symbolic verification of embedded systems. IEEE Trans. Softw. Eng.\u00a022(3), 181\u2013201 (1996)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"8_CR4","unstructured":"Cached murphi web page, \n                  \n                    http:\/\/www.dsi.uniroma1.it\/~tronci\/cached.murphi.html"},{"issue":"4","key":"8_CR5","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/s10009-004-0149-6","volume":"6","author":"G. Penna Della","year":"2004","unstructured":"Della Penna, G., Intrigila, B., Melatti, I., Tronci, E., Venturini Zilli, M.: Exploiting transition locality in automatic verification of finite state concurrent systems. STTT\u00a06(4), 320\u2013341 (2004)","journal-title":"STTT"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1109\/ICCD.1992.276232","volume-title":"Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors","author":"D.L. Dill","year":"1992","unstructured":"Dill, D.L., Drexler, A.J., Hu, A.J., Yang, C.H.: Protocol verification as a hardware design aid. In: Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors, pp. 522\u2013525. IEEE Computer Society, Los Alamitos (1992)"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-540-30138-7_13","volume-title":"Computer Safety, Reliability, and Security","author":"E. Ciancamerla","year":"2004","unstructured":"Ciancamerla, E., Minichino, M.: Performability measures of the public mobile network of a tele control system. In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds.) SAFECOMP 2004. LNCS, vol.\u00a03219, pp. 142\u2013154. Springer, Heidelberg (2004)"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-540-39878-3_4","volume-title":"Computer Safety, Reliability, and Security","author":"E. Ciancamerla","year":"2003","unstructured":"Ciancamerla, E., Minichino, M., Serro, S., Tronci, E.: Automatic timeliness verification of a public mobile network. In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol.\u00a02788, pp. 35\u201348. Springer, Heidelberg (2003)"},{"issue":"1","key":"8_CR9","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/s100090050008","volume":"1","author":"T.A. Henzinger","year":"1997","unstructured":"Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: Hytech: A model checker for hybrid systems. Software Tools for Technology Transfer\u00a01(1), 110\u2013122 (1997)","journal-title":"Software Tools for Technology Transfer"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"456","DOI":"10.1007\/3-540-63166-6_47","volume-title":"Computer Aided Verification","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Uppaal: Status and developments. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 456\u2013459. Springer, Heidelberg (1997)"},{"key":"8_CR11","unstructured":"Project IST \u2013 1999 \u2013 28099 SAFETUNNEL, \n                  \n                    http:\/\/www.crfproject-eu.org"},{"key":"8_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K.L. McMillan","year":"1993","unstructured":"McMillan, K.L.: Symbolic Model Checking. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"8_CR13","unstructured":"Murphi web page, \n                  \n                    http:\/\/sprout.stanford.edu\/dill\/murphi.html"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/3-540-36580-X_13","volume-title":"Hybrid Systems: Computation and Control","author":"G. Penna Della","year":"2003","unstructured":"Della Penna, G., Intrigila, B., Melatti, I., Minichino, M., Ciancamerla, E., Parisse, A., Tronci, E., Zilli, M.V.: Automatic verification of a turbogas control system with the mur\u03d5 verifier. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.\u00a02623, pp. 141\u2013155. Springer, Heidelberg (2003)"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-540-39724-3_25","volume-title":"Correct Hardware Design and Verification Methods","author":"G. Penna Della","year":"2003","unstructured":"Della Penna, G., Intrigila, B., Melatti, I., Tronci, E., Zilli, M.V.: Integrating ram and disk based verification within the mur\u03d5 verifier. In: Geist, D., Tronci, E. (eds.) CHARME 2003. LNCS, vol.\u00a02860, pp. 277\u2013282. Springer, Heidelberg (2003)"},{"key":"8_CR16","unstructured":"Smv web page, \n                  \n                    http:\/\/www.cs.cmu.edu\/~modelcheck\/"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/BFb0014731","volume-title":"Hybrid and Real-Time Systems","author":"A.L. Turk","year":"1997","unstructured":"Turk, A.L., Probst, S.T., Powers, G.J.: In: Maler, O. (ed.) HART 1997. LNCS, vol.\u00a01201, pp. 259\u2013272. Springer, Heidelberg (1997)"},{"key":"8_CR18","unstructured":"Uppaal web page, \n                  \n                    http:\/\/www.docs.uu.se\/docs\/rtmv\/uppaal\/"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11563228_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:14:46Z","timestamp":1619493286000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11563228_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540292005","9783540320005"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11563228_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}