{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:13:36Z","timestamp":1761488016946},"reference-count":11,"publisher":"American Institute of Aeronautics and Astronautics (AIAA)","issue":"12","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Aerospace Computing, Information, and Communication"],"published-print":{"date-parts":[[2005,12]]},"DOI":"10.2514\/1.15265","type":"journal-article","created":{"date-parts":[[2008,3,13]],"date-time":"2008-03-13T19:20:27Z","timestamp":1205436027000},"page":"507-536","source":"Crossref","is-referenced-by-count":51,"title":["Engineering Complex Embedded Systems with State Analysis and the Mission Data System"],"prefix":"10.2514","volume":"2","author":[{"given":"Michel D.","family":"Ingham","sequence":"first","affiliation":[{"name":"Jet Propulsion Laboratory, California Institute of Technology, 4800 Oak Grove Dr., Pasadena, CA, 91109, USA"}]},{"given":"Robert D.","family":"Rasmussen","sequence":"additional","affiliation":[{"name":"Jet Propulsion Laboratory, California Institute of Technology, 4800 Oak Grove Dr., Pasadena, CA, 91109, USA"}]},{"given":"Matthew B.","family":"Bennett","sequence":"additional","affiliation":[{"name":"Jet Propulsion Laboratory, California Institute of Technology, 4800 Oak Grove Dr., Pasadena, CA, 91109, USA"}]},{"given":"Alex C.","family":"Moncada","sequence":"additional","affiliation":[{"name":"Jet Propulsion Laboratory, California Institute of Technology, 4800 Oak Grove Dr., Pasadena, CA, 91109, USA"}]}],"member":"1387","reference":[{"key":"p_1","doi-asserted-by":"publisher","DOI":"10.2514\/6.1999-4553"},{"key":"p_2","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2002.1036840"},{"key":"p_3","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2002.1035375"},{"key":"p_4","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"p_5","volume-title":"Proceedings of the International Workshop on Planning and Scheduling for Space","author":"Barrett A.","year":"2004"},{"key":"p_6","volume-title":"Decomposed symbolic approach to reactive planning","author":"Chung S.","year":"2003"},{"key":"p_7","volume-title":"The Unified Modeling Language User Guide","author":"Booch G.","year":"1999"},{"key":"p_8","first-page":"971","volume-title":"Proceedings of the 13th National Conference on Artificial Intelligence (AAAI-96)","volume":"2","author":"Williams B. C.","year":"1996"},{"key":"p_9","first-page":"370","volume-title":"Proceedings of the 18th National Conference on Artificial Intelligence (AAAI-02)","author":"Kurien J.","year":"2000"},{"key":"p_10","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805828"},{"key":"p_11","volume-title":"Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004)","author":"Dvorak D.","year":"2004"}],"container-title":["Journal of Aerospace Computing, Information, and Communication"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/arc.aiaa.org\/doi\/pdf\/10.2514\/1.15265","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,1]],"date-time":"2021-03-01T07:53:02Z","timestamp":1614585182000},"score":1,"resource":{"primary":{"URL":"https:\/\/arc.aiaa.org\/doi\/10.2514\/1.15265"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,12]]},"references-count":11,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2005,12]]}},"alternative-id":["10.2514\/1.15265"],"URL":"https:\/\/doi.org\/10.2514\/1.15265","relation":{},"ISSN":["1542-9423"],"issn-type":[{"value":"1542-9423","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,12]]}}}