{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T11:10:07Z","timestamp":1746357007203,"version":"3.40.4"},"publisher-location":"Cham","reference-count":8,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319105567"},{"type":"electronic","value":"9783319105574"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10557-4_24","type":"book-chapter","created":{"date-parts":[[2014,8,27]],"date-time":"2014-08-27T12:12:24Z","timestamp":1409141544000},"page":"207-218","source":"Crossref","is-referenced-by-count":1,"title":["Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics"],"prefix":"10.1007","author":[{"given":"Tam\u00e1s","family":"T\u00f3th","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e1s","family":"V\u00f6r\u00f6s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"Behrmann, G., David, A., Larsen, K.G., M\u00f6ller, O., Pettersson, P., Yi, W.: Uppaal - present and future. In: Proc. of 40 th IEEE Conference on Decision and Control, IEEE Computer Society Press (2001)"},{"issue":"1","key":"24_CR2","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10009-006-0001-2","volume":"9","author":"M. Bozzano","year":"2007","unstructured":"Bozzano, M., Villafiorita, A.: The fsap\/nusmv-sa safety analysis platform. International Journal on Software Tools for Technology Transfer\u00a09(1), 5\u201324 (2007)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"1","key":"24_CR3","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1011276507260","volume":"19","author":"E. Clarke","year":"2001","unstructured":"Clarke, E., Biere, A., Raimi, R., Zhu, Y.: Bounded model checking using satisfiability solving. Formal Methods in System Design\u00a019(1), 7\u201334 (2001)","journal-title":"Formal Methods in System Design"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Joshi, A., Miller, S.P., Whalen, M., Heimdahl, M.P.E.: A proposal for model-based safety analysis. In: The 24th Digital Avionics Systems Conference, DASC 2005, vol.\u00a02, p. 13 (October 2005)","DOI":"10.1109\/DASC.2005.1563469"},{"key":"24_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-642-33365-1_13","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"R. Kindermann","year":"2012","unstructured":"Kindermann, R., Junttila, T., Niemel\u00e4, I.: SMT-based induction methods for timed systems. In: Jurdzi\u0144ski, M., Ni\u010dkovi\u0107, D. (eds.) FORMATS 2012. LNCS, vol.\u00a07595, pp. 171\u2013187. Springer, Heidelberg (2012)"},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.S.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"24_CR7","unstructured":"Pike, L.: Real-time system verification by k-induction. Tech. Rep. TM-2005-213751, NASA Langley Research Center (May 2005)"},{"key":"24_CR8","series-title":"AISC","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/978-3-319-00945-2_43","volume-title":"New Results in Dependability and Computer Systems","author":"T. T\u00f3th","year":"2013","unstructured":"T\u00f3th, T., V\u00f6r\u00f6s, A., Majzik, I.: K-induction based verification of real-time safety critical systems. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds.) New Results in Dependability & Comput. Syst. AISC, vol.\u00a0224, pp. 469\u2013478. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10557-4_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T10:51:49Z","timestamp":1746355909000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10557-4_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319105567","9783319105574"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10557-4_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}