{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T13:49:02Z","timestamp":1744206542003,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icsmc.2005.1571417","type":"proceedings-article","created":{"date-parts":[[2006,1,18]],"date-time":"2006-01-18T18:42:54Z","timestamp":1137609774000},"page":"1856-1863","source":"Crossref","is-referenced-by-count":4,"title":["Formal Methods in a System-of-Systems Development"],"prefix":"10.1109","volume":"2","author":[{"given":"D.S.","family":"Caffall","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.B.","family":"Michael","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref32","first-page":"23","article-title":"Software rejuvenation","volume":"17","author":"bernstein","year":"2004","journal-title":"Crosstalk"},{"key":"ref31","first-page":"54","article-title":"Predicting when to reboot ‘continuously operating’ embedded software","author":"voas","year":"1999","journal-title":"Proc Conf on Quality Engineering in Software Technology"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.1999.809487"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/3-540-44577-3_12","article-title":"Progress on the state explosion problem in model checking","volume":"2000","author":"clarke","year":"2001","journal-title":"Lecture Notes in Computer Sci"},{"journal-title":"System of Systems Symp Rpt on a Summer Conversation Potomac Inst for Policy Studies","year":"2004","author":"popper","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2004.44"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1080\/10429247.2003.11415214"},{"article-title":"Design-time Error Detection using Assertions","year":"2003","author":"sitaraman","key":"ref14"},{"journal-title":"Dependable Pervasive Systems CS-T R-839 School of Computing Science","year":"2004","author":"jones","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317509"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/52.391826"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/52.57887"},{"journal-title":"Vol I Planning and Technology Insertion Office of Safety and Mission Assurance NASA\/TP-98–208193","article-title":"NASA Formal Methods Specification and Verification Guidebook for Software and Computer Systems","year":"1998","key":"ref19"},{"key":"ref28","doi-asserted-by":"crossref","DOI":"10.21236\/ADA416612","article-title":"Ground-aided precision strike: heavy bomber activity in operation enduring freedom, Maxwell Paper No","author":"theisen","year":"2003"},{"key":"ref4","article-title":"Model-based Verification: Analysis guidelines","author":"lewis","year":"2001","journal-title":"Technical Note CMU\/SEI-2001-TN-028"},{"key":"ref27","first-page":"21a","article-title":"Friendly fire deaths traced to dead battery","author":"loeb","year":"2002","journal-title":"Washington Post"},{"article-title":"Testing Object-Oriented Systems","year":"2001","author":"binder","key":"ref3"},{"journal-title":"U S Department of the Army Tactics Techniques","article-title":"Procedures for the Targeting Process, Field Manual 6–20–10","year":"1996","key":"ref6"},{"key":"ref29","first-page":"126","article-title":"Analyzing software requirements errors in safety-critical, embedded systems","author":"lutz","year":"1993","journal-title":"Proc IEEE 4th Int l Symp Requirements Eng"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.1999.809474"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1109\/CSD.2003.1207725","article-title":"Abstract model checking and refinement of temporal logic in ?SPIN","author":"del mar gallardo","year":"2003","journal-title":"Proc 3rd Int Conf Application of Concurrency to System Design"},{"article-title":"Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks, and Pat-terns","year":"1999","author":"douglass","key":"ref7"},{"journal-title":"Managing Software Requirements","year":"2000","author":"leffingwell","key":"ref2"},{"key":"ref9","first-page":"7","article-title":"Developing highly predictable system behavior in realtime battle-management software","volume":"6","author":"caffall","year":"2004","journal-title":"Proc Int Conf on Computing Communications and Control Technologies Austin"},{"article-title":"Safety-Critical Computer Systems","year":"1996","author":"storey","key":"ref1"},{"key":"ref20","article-title":"Application of lightweight formal methods in requirements engineering","volume":"16","author":"vinu","year":"2003","journal-title":"Crosstalk"},{"journal-title":"NASA Langley's Research and Technology-Transfer Program in Formal Methods","year":"2002","author":"butler","key":"ref22"},{"journal-title":"Finding Errors Using Model-Based Verification","year":"2001","author":"lang","key":"ref21"},{"journal-title":"CHAOS A Recipe for Success Standish Grp Int","year":"1999","key":"ref24"},{"key":"ref23","first-page":"4","article-title":"Requirements risks can drown software projects","volume":"15","author":"leishman","year":"2002","journal-title":"Crosstalk"},{"journal-title":"Patriot Missile Software Problem Report GAO\/IMTEC-92–26","year":"1992","key":"ref26"},{"key":"ref25","article-title":"Disaster. Embedded.com","volume":"11","author":"ganssle","year":"1998","journal-title":"Embedded Systems Programming"}],"event":{"name":"2005 IEEE International Conference on Systems, Man and Cybernetics","location":"Waikoloa, HI, USA"},"container-title":["2005 IEEE International Conference on Systems, Man and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10498\/33255\/01571417.pdf?arnumber=1571417","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,15]],"date-time":"2019-04-15T06:25:29Z","timestamp":1555309529000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1571417\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2005.1571417","relation":{},"subject":[]}}