{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T20:39:16Z","timestamp":1760819956627},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439974"},{"type":"electronic","value":"9783540456575"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45657-0_26","type":"book-chapter","created":{"date-parts":[[2007,5,19]],"date-time":"2007-05-19T10:59:43Z","timestamp":1179572383000},"page":"343-348","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":56,"title":["IF-2.0: A Validation Environment for Component-Based Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Marius","family":"Bozga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susanne","family":"Graf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Mounier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"key":"26_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/3-540-45352-0_11","volume-title":"Proceedings of FTRTFT 2000","author":"K. Altisen","year":"2000","unstructured":"K. Altisen, G. G\u00f6\u00dfler, and J. Sifakis. A Methodology for the Construction of Scheduled Systems. In Mathai Joseph, editor, Proceedings of FTRTFT 2000, number 1926 in LNCS, pages 106\u2013120. Springer-Verlag, September 2000."},{"key":"26_CR2","series-title":"Lect Notes Comput Sci","volume-title":"International Symposium: Compositionality-The Significant Difference (Holstein, Germany)","author":"S. Bornot","year":"1997","unstructured":"S. Bornot, J. Sifakis, and S. Tripakis. Modeling Urgency in Timed Systems. In International Symposium: Compositionality-The Significant Difference (Holstein, Germany), volume 1536 of LNCS. Springer, September 1997."},{"key":"26_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of CAV\u201900 (Chicago, USA)","author":"M. Bozga","year":"2000","unstructured":"M. Bozga, J.Cl. Fernandez, L. Ghirvu, S. Graf, J. P. Krimm, and L. Mounier. IF: A Validation Environment for Timed Asynchronous Systems. In E. A. Emerson and A. P. Sistla, editors, Proceedings of CAV\u201900 (Chicago, USA), volume 1855 of LNCS. Springer, July 2000."},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"M. Bozga, S. Graf, and L. Mounier. Automated Validation of Distributed Software using the IF Environment. In Workshop on Software Model-Checking, volume 55. TCS, July 2001.","DOI":"10.1016\/S1571-0661(04)00263-4"},{"key":"26_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/BFb0054165","volume-title":"Proceedings of TACAS\u201998 (Lisbon, Portugal)","author":"H. Garavel","year":"1998","unstructured":"H. Garavel. OPEN\/C\u00c6SAR: An Open Software Architecture for Verification, Simulation, and Testing. In B. Steffen, editor, Proceedings of TACAS\u201998 (Lisbon, Portugal), volume 1384 of LNCS, pages 68\u201384. Springer, March 1998."},{"key":"26_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"476","DOI":"10.1007\/3-540-63166-6_52","volume-title":"Proceedings of CAV\u201997 (Haifa, Israel)","author":"P. Godefroid","year":"1997","unstructured":"P. Godefroid. VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software (short paper). In Proceedings of CAV\u201997 (Haifa, Israel), volume 1254 of LNCS, pages 476\u2013479. Springer, June 1997."},{"key":"26_CR7","unstructured":"G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall Software Series, \n                    http:\/\/cm.bell-labs.com\/cm\/cs\/what\/spin\n                    \n                  , 1991."},{"key":"26_CR8","unstructured":"ITU-T. Recommendation Z.100. Specification and Description Language (SDL). Technical Report Z-100, International Telecommunication Union-Standardization Sector, Gen\u00e8ve, November 1999."},{"key":"26_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/3-540-48683-6_12","volume-title":"Proceedings of CAV\u201999 (Trento, Italy)","author":"T. J\u00e9ron","year":"1999","unstructured":"T. J\u00e9ron and P. Morel. Test Generation Derived from Model Checking. In N. Halb-wachs and D. Peled, editors, Proceedings of CAV\u201999 (Trento, Italy), volume 1633 of LNCS, pages 108\u2013122. Springer, July 1999."},{"key":"26_CR10","unstructured":"OMG. Unified Modeling Language Specification. Technical Report OMG UML v1.3-ad\/99-06-09, Object Management Group, June 1999."},{"key":"26_CR11","unstructured":"S. Swan. An Introduction to System-Level Modeling in Systemc 2.0. Technical report, Open SystemC Initiative, 2001."},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"W. Visser, K. Havelund, G. Brat, and S. Park. Model checking programs. In Proceedings of ASE\u201900. IEEE Computer Society, September 2000.","DOI":"10.1109\/ASE.2000.873645"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45657-0_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T09:26:51Z","timestamp":1558258011000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45657-0_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439974","9783540456575"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45657-0_26","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"20 September 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}