{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T11:37:07Z","timestamp":1791459427450,"version":"4.3.4"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,8,18]],"date-time":"2013-08-18T00:00:00Z","timestamp":1376784000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,8,18]]},"DOI":"10.1145\/2491411.2491454","type":"proceedings-article","created":{"date-parts":[[2013,8,20]],"date-time":"2013-08-20T14:07:21Z","timestamp":1377007641000},"page":"400-410","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Cascading verification: an integrated method for domain-specific model checking"],"prefix":"10.1145","author":[{"given":"Fokion","family":"Zervoudakis","sequence":"first","affiliation":[{"name":"University College London, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David S.","family":"Rosenblum","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebastian","family":"Elbaum","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anthony","family":"Finkelstein","sequence":"additional","affiliation":[{"name":"University College London, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2013,8,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Principles of Model Checking","author":"Baier C.","year":"2008","unstructured":"C. Baier and J.-P. Katoen , Principles of Model Checking . The MIT Press , 2008 . C. Baier and J.-P. Katoen, Principles of Model Checking. The MIT Press, 2008."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940107"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/511446.511457"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.10"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCS.2010.5547125"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2011.106"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11574620_6"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SNPD.2008.58"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/WAINA.2009.52"},{"key":"e_1_3_2_1_10_1","unstructured":"C. C. Evans \u201cThe O\ufb03cial YAML Web Site.\u201d {online} Available at: http:\/\/yaml.org\/.  C. C. Evans \u201cThe O\ufb03cial YAML Web Site.\u201d {online} Available at: http:\/\/yaml.org\/."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_29"},{"key":"e_1_3_2_1_12_1","unstructured":"DARPA \u201cUAVForge.\u201d {online} Available at: http:\/\/www.uavforge.net\/.  DARPA \u201cUAVForge.\u201d {online} Available at: http:\/\/www.uavforge.net\/."},{"key":"e_1_3_2_1_13_1","volume-title":"Project Support Services for the Operational Mission and Scenario Analysis for Multiple UAVs\/UCAVs Control From Airborne Platform","author":"Youngson G.","year":"2004","unstructured":"G. Youngson , K. Baker , D. Kelleher , and S. Williams , \u201c Project Support Services for the Operational Mission and Scenario Analysis for Multiple UAVs\/UCAVs Control From Airborne Platform ,\u201d March 2004 . G. Youngson, K. Baker, D. Kelleher, and S. Williams, \u201cProject Support Services for the Operational Mission and Scenario Analysis for Multiple UAVs\/UCAVs Control From Airborne Platform,\u201d March 2004."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11926078_36"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92913-0_9"},{"key":"e_1_3_2_1_16_1","volume-title":"Mechanizing Mathematical Reasoning, Essays in Honor of J\u00f6rg H. Siekmann on the Occasion of His 60th Birthday","author":"Baader F.","unstructured":"F. Baader , I. Horrocks , and U. Sattler , \u201c Description Logics as Ontology Languages for the Semantic Web ,\u201d in Mechanizing Mathematical Reasoning, Essays in Honor of J\u00f6rg H. Siekmann on the Occasion of His 60th Birthday (D. Hutter and W. Stephan, eds.), no. 2605 in Lecture Notes in Computer Science, pp. 228\u2013248, Springer, 2005. F. Baader, I. Horrocks, and U. Sattler, \u201cDescription Logics as Ontology Languages for the Semantic Web,\u201d in Mechanizing Mathematical Reasoning, Essays in Honor of J\u00f6rg H. Siekmann on the Occasion of His 60th Birthday (D. Hutter and W. Stephan, eds.), no. 2605 in Lecture Notes in Computer Science, pp. 228\u2013248, Springer, 2005."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2063016.2063040"},{"key":"e_1_3_2_1_18_1","volume-title":"W3C Member Submission","author":"Horrocks I.","year":"2004","unstructured":"I. Horrocks , P. F. Patel-Schneider , H. Boley , S. Tabet , B. Grosof , and M. Dean , \u201c SWRL: A Semantic Web Rule Language Combining OWL and RuleML .\u201d W3C Member Submission , May 2004 . I. Horrocks, P. F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean, \u201cSWRL: A Semantic Web Rule Language Combining OWL and RuleML.\u201d W3C Member Submission, May 2004."},{"key":"e_1_3_2_1_19_1","first-page":"92","volume-title":"AAAI Spring Symposium: AI Meets Business Rules and Process Management","author":"McGrath R. E.","year":"2008","unstructured":"R. E. McGrath and J. Futrelle , \u201c Reasoning About Provenance With OWL and SWRL Rules ,\u201d in AAAI Spring Symposium: AI Meets Business Rules and Process Management , pp. 87\u2013 92 , AAAI, 2008 . R. E. McGrath and J. Futrelle, \u201cReasoning About Provenance With OWL and SWRL Rules,\u201d in AAAI Spring Symposium: AI Meets Business Rules and Process Management, pp. 87\u201392, AAAI, 2008."},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of the 12th International Conference on World Wide Web, WWW \u201903","author":"Volz R.","year":"2003","unstructured":"R. Volz , S. Decker , and D. Oberle , \u201c Bubo\u2014Implementing OWL in Rule-Based Systems ,\u201d in Proceedings of the 12th International Conference on World Wide Web, WWW \u201903 , ACM, 2003 . R. Volz, S. Decker, and D. Oberle, \u201cBubo\u2014Implementing OWL in Rule-Based Systems,\u201d in Proceedings of the 12th International Conference on World Wide Web, WWW \u201903, ACM, 2003."},{"key":"e_1_3_2_1_21_1","series-title":"NATO Science for Peace and Security Series D: Information and Communication Security","first-page":"151","volume-title":"Software Safety and Security: Tools for Analysis and Verification","author":"Kwiatkowska M.","year":"2012","unstructured":"M. Kwiatkowska and D. Parker , \u201c Advances in Probabilistic Model Checking ,\u201d in Software Safety and Security: Tools for Analysis and Verification (T. Nipkow, O. Grumberg, and B. Hauptmann, eds.), vol. 33 of NATO Science for Peace and Security Series D: Information and Communication Security , pp. 126\u2013 151 , IOS Press , 2012 . M. Kwiatkowska and D. Parker, \u201cAdvances in Probabilistic Model Checking,\u201d in Software Safety and Security: Tools for Analysis and Verification (T. Nipkow, O. Grumberg, and B. Hauptmann, eds.), vol. 33 of NATO Science for Peace and Security Series D: Information and Communication Security, pp. 126\u2013151, IOS Press, 2012."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/IGARSS.2010.5651659"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TGRS.2008.2010457"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIF.2007.4408103"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2008.4586787"},{"key":"e_1_3_2_1_26_1","first-page":"514","volume-title":"Proceedings of the 7th World Multiconference on Systemics, Cybernetics and Informatics, SCI \u201903","author":"Tosic P.","year":"2003","unstructured":"P. Tosic , M.-W. Jang , S. Reddy , J. Chia , L. Chen , and G. Agha , \u201c Modeling a System of UAVs on a Mission ,\u201d in Proceedings of the 7th World Multiconference on Systemics, Cybernetics and Informatics, SCI \u201903 , pp. 508\u2013 514 , 2003 . P. Tosic, M.-W. Jang, S. Reddy, J. Chia, L. Chen, and G. Agha, \u201cModeling a System of UAVs on a Mission,\u201d in Proceedings of the 7th World Multiconference on Systemics, Cybernetics and Informatics, SCI \u201903, pp. 508\u2013514, 2003."},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, CEUR-WS.org","author":"Horridge M.","year":"2006","unstructured":"M. Horridge , N. Drummond , J. Goodwin , A. L. Rector , R. Stevens , and H. Wang , \u201c The Manchester OWL Syntax ,\u201d in Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, CEUR-WS.org , 2006 . M. Horridge, N. Drummond, J. Goodwin, A. L. Rector, R. Stevens, and H. Wang, \u201cThe Manchester OWL Syntax,\u201d in Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, CEUR-WS.org, 2006."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2007.03.004"},{"key":"e_1_3_2_1_29_1","unstructured":"\u201cSWI-Prolog\u2019s home.\u201d {online} Available at: http:\/\/www.swi-prolog.org\/.  \u201cSWI-Prolog\u2019s home.\u201d {online} Available at: http:\/\/www.swi-prolog.org\/."}],"event":{"name":"ESEC\/FSE'13: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","location":"Saint Petersburg Russia","acronym":"ESEC\/FSE'13","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491411.2491454","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2491411.2491454","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:41Z","timestamp":1750231721000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491411.2491454"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,18]]},"references-count":29,"alternative-id":["10.1145\/2491411.2491454","10.1145\/2491411"],"URL":"https:\/\/doi.org\/10.1145\/2491411.2491454","relation":{},"subject":[],"published":{"date-parts":[[2013,8,18]]},"assertion":[{"value":"2013-08-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}