{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:51:27Z","timestamp":1730299887578,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/sysose.2011.5966590","type":"proceedings-article","created":{"date-parts":[[2011,8,4]],"date-time":"2011-08-04T01:43:19Z","timestamp":1312422199000},"page":"155-160","source":"Crossref","is-referenced-by-count":1,"title":["Formal validation and verification of space flight software using statechart-assertions and runtime execution monitoring"],"prefix":"10.1109","author":[{"given":"Miriam C.","family":"Bergue Alves","sequence":"first","affiliation":[]},{"given":"Doron","family":"Drusinsky","sequence":"additional","affiliation":[]},{"given":"James Bret","family":"Michael","sequence":"additional","affiliation":[]},{"given":"Man-Tak","family":"Shing","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69149-5_42"},{"key":"ref3","first-page":"163","article-title":"Specification-Based Prototyping for Embedded Systems","volume":"99","author":"thompson","year":"0","journal-title":"Proceedings of the ESEC\/FSE09"},{"journal-title":"Wikipedia the Free Encyclopedia","year":"0","key":"ref10"},{"key":"ref6","article-title":"Application of UML Statechart-based Verification and Validation for Trustworthy Software Systems","author":"michael","year":"0","journal-title":"IEEE Software to be published"},{"key":"ref11","first-page":"37","article-title":"Test infected: Programmers love writing tests","volume":"3","author":"beck","year":"1998","journal-title":"Java Report"},{"key":"ref5","first-page":"47","article-title":"Verification of Timing Properties in Rapid System Prototyping","author":"drusinsky","year":"0","journal-title":"Proc 14th IEEE International Workshop in Rapid Systems Prototyping"},{"key":"ref12","first-page":"355","article-title":"Hardware in the Loop Simulation of Brazilian Launcher VLS","author":"leite filho","year":"0","journal-title":"Proc 3rd ESA IntI Conference on Spacecraft Guidance Navigation and Control Systems"},{"article-title":"Modeling and Verification Using UML Statecharts — A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking","year":"2006","author":"drusinsky","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MDSO.2007.25"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/32.663994"},{"key":"ref9","first-page":"401","article-title":"Control System of Brazilian Launcher","author":"leite filho","year":"0","journal-title":"Proc 4th ESA International Conference on Spacecraft Guidance Navigation and Control Systems"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2009.32"}],"event":{"name":"2011 6th International Conference on System of Systems Engineering (SoSE)","start":{"date-parts":[[2011,6,27]]},"location":"Albuquerque, NM, USA","end":{"date-parts":[[2011,6,30]]}},"container-title":["2011 6th International Conference on System of Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5958523\/5966563\/05966590.pdf?arnumber=5966590","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T09:01:43Z","timestamp":1490086903000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5966590\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/sysose.2011.5966590","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}