{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T21:04:32Z","timestamp":1761512672867},"reference-count":51,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2009,5,1]],"date-time":"2009-05-01T00:00:00Z","timestamp":1241136000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst., Man, Cybern. A"],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1109\/tsmca.2009.2014546","type":"journal-article","created":{"date-parts":[[2009,4,18]],"date-time":"2009-04-18T02:23:22Z","timestamp":1240021402000},"page":"501-513","source":"Crossref","is-referenced-by-count":17,"title":["Algebra of Systems: A Metalanguage for Model Synthesis and Evaluation"],"prefix":"10.1109","volume":"39","author":[{"given":"Benjamin H. Y.","family":"Koo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Willard L.","family":"Simmons","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edward F.","family":"Crawley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"crossref","DOI":"10.2514\/6.IAC-06-D1.3.07","article-title":"a computational method for mapping the decision space of the lunar exploration program","author":"simmons","year":"2006","journal-title":"57th Int Astronautical Congr"},{"key":"ref38","doi-asserted-by":"crossref","DOI":"10.2514\/6.IAC-06-D3.1.03","article-title":"value based architecture selection","author":"cameron","year":"2006","journal-title":"57th Int Astronautical Congr"},{"key":"ref33","year":"1996","journal-title":"Orbital Mechanics"},{"key":"ref32","author":"frazzoli","year":"2001","journal-title":"Robust Hybrid Control for Autonomous Vehicle Motion Planning"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref30","author":"amram","year":"1998","journal-title":"Real Options Managing Strategic Investment in an Uncertain World"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2007.4414100"},{"key":"ref36","author":"pareto","year":"1971","journal-title":"Manual of Political Economy"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010095604496"},{"key":"ref34","author":"houbolt","year":"1961","journal-title":"Manned lunar-landing through use of lunar-orbit rendezvous"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.2514\/6.2005-6726"},{"key":"ref27","author":"simmons","year":"2005"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84628-976-7_13"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/27651.27653"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEM.2007.373332"},{"key":"ref20","author":"petri","year":"1962","journal-title":"Kommunikation mit Automaten"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56209-9"},{"key":"ref21","author":"koo","year":"2005","journal-title":"A meta-language for systems architecting"},{"key":"ref24","author":"hansen","year":"1995","journal-title":"Spaceflight Revolution NASA Langley Research Center From Sputnik to Apollo"},{"key":"ref23","author":"brooks","year":"1979","journal-title":"Chariots for Apollo A History of Manned Lunar Spacecraft"},{"key":"ref26","author":"seamansjr","year":"2005","journal-title":"Project Apollo The Tough Decisions"},{"key":"ref25","author":"murray","year":"2004","journal-title":"Apollo"},{"key":"ref50","year":"0","journal-title":"Mathematica"},{"key":"ref51","year":"0","journal-title":"GME Generic Modeling Environment"},{"key":"ref10","author":"de neufville","year":"1990","journal-title":"Applied Systems Analysis Engineering Planning and Technology Management"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2006.24"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2007.4414100"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"ref13","author":"carlson","year":"1993","journal-title":"\"Grammatical Programming An Algebraic Approach to the Description of Design Spaces \""},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/64.585104"},{"key":"ref15","author":"dechter","year":"2003","journal-title":"Constraint Processing"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060498124010"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.918589"},{"key":"ref18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8130-3","author":"burris","year":"1981","journal-title":"A Course in Universal Algebra"},{"key":"ref19","author":"pedroni","year":"2002","journal-title":"Jython Essentials"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/320434.320440"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/362384.362685"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90108-V"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/11575467_10"},{"key":"ref8","author":"suh","year":"1990","journal-title":"The Principles of Design"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"ref49","author":"jackson","year":"2006","journal-title":"Software Abstractions Logic Language and Analysis"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2366.001.0001","volume":"1","author":"baldwin","year":"2000","journal-title":"Design Rules"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2008.4618099"},{"key":"ref45","author":"murphy","year":"0","journal-title":"Bayes Net Toolbox for MATLAB"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675141"},{"key":"ref42","author":"jones","year":"1993","journal-title":"Partial Evaluation and Automatic Program Generation"},{"key":"ref41","author":"simmons","year":"2008","journal-title":"A framework for decision-support in systems architecting"},{"key":"ref44","author":"mellor","year":"2002","journal-title":"Executable UML A Foundation for Model-Driven Architecture"},{"key":"ref43","first-page":"286","article-title":"model driven engineering","volume":"2335","author":"kent","year":"2002","journal-title":"Proc IFM"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/3468\/4815381\/04803791.pdf?arnumber=4803791","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T00:44:33Z","timestamp":1633913073000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4803791\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":51,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tsmca.2009.2014546","relation":{},"ISSN":["1083-4427"],"issn-type":[{"value":"1083-4427","type":"print"}],"subject":[],"published":{"date-parts":[[2009,5]]}}}