{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T15:57:10Z","timestamp":1779206230304,"version":"3.51.4"},"reference-count":33,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2015,11,1]],"date-time":"2015-11-01T00:00:00Z","timestamp":1446336000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"European Unions Seventh Framework Programme FP7 2007--2013","award":["262044---VISIONAIR"],"award-info":[{"award-number":["262044---VISIONAIR"]}]},{"name":"Gordon Center for Systems Engineering at the Technion"},{"name":"Qatar National Research Fund a member of the Qatar Foundation","award":["NPRP6-449-2-181"],"award-info":[{"award-number":["NPRP6-449-2-181"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst. Man Cybern, Syst."],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/tsmc.2015.2406753","type":"journal-article","created":{"date-parts":[[2015,3,11]],"date-time":"2015-03-11T18:39:14Z","timestamp":1426099154000},"page":"1448-1458","source":"Crossref","is-referenced-by-count":13,"title":["Model-Based System Specification With Tesperanto: Readable Text From Formal Graphics"],"prefix":"10.1109","volume":"45","author":[{"given":"Alex","family":"Blekhman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6425-5745","authenticated-orcid":false,"given":"Juan P.","family":"Wachs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dov","family":"Dori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.amjsurg.2005.07.018"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s00464-006-9161-0"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s11701-011-0325-0"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1136\/qshc.2003.008425"},{"key":"ref10","author":"dori","year":"2002","journal-title":"Object-Process Methodology A Holistic Systems Paradigm With CD-ROM"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/EUROMICRO.2006.11"},{"key":"ref12","first-page":"193","article-title":"OPM simulation with computational interface to MATLAB and model-driven vivid animation","author":"renick","year":"2011","journal-title":"Proc 6th Int Conf Syst Eng (INCOSE_IL)"},{"key":"ref13","year":"1998"},{"key":"ref14","first-page":"1","article-title":"Object-oriented requirements engineering and management","author":"kasser","year":"2003","journal-title":"Proc Syst Eng Test Eval Conf"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-39893-6_36","article-title":"A relational model for formal object-oriented requirement analysis in UML","author":"liu","year":"2003","journal-title":"Formal Methods and Software Engineering"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1360602.1360608"},{"key":"ref17","year":"2011","journal-title":"Enterprise Architect Requirements Management Documentation"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1040830.1040908"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2008.10"},{"key":"ref28","first-page":"647","article-title":"Application of ICDM for the conceptual design of a new product","author":"hari","year":"2002","journal-title":"Proc Int Design Conf"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.03.005"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1108\/01443579410062086"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2013.tb03009.x"},{"key":"ref6","first-page":"361","volume":"3","author":"fowler","year":"1996","journal-title":"Analysis Patterns Reusable Object Models"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1136\/qshc.2004.010785"},{"key":"ref5","year":"2007","journal-title":"Core Components Technical Specification Version 3 0 2nd Public Review"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1002\/sys.20046"},{"key":"ref7","article-title":"Model driven architecture with executable UML","volume":"1","author":"raistrick","year":"2004"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s00464-006-9161-0"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0054087","article-title":"Modelica—A unified object-oriented language for system modeling and simulation","author":"fritzson","year":"1998","journal-title":"ECOOP’98—Object-Oriented Programmig"},{"key":"ref1","author":"pyster","year":"2012","journal-title":"Guide to the Systems Engineering Body of Knowledge"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/2.895118"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1162\/coli.2008.34.1.1"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICDEW.2008.4498381"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.3115\/1118253.1118272"},{"key":"ref23","first-page":"113","article-title":"Catching the drift: Probabilistic content models, with applications to generation and summarization","author":"barzilay","year":"2004","journal-title":"Proc Human Language Technology Conf (HLT-NAACL)"},{"key":"ref26","author":"checkland","year":"1999","journal-title":"Systems Thinking Systems Practice Includes A 30-Year Retrospective"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"650","DOI":"10.1002\/j.2334-5837.2011.tb01232.x","article-title":"Model-based standards authoring","author":"blekhman","year":"2011","journal-title":"Proc INCOSE Int Symp"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221021\/7297786\/07058446.pdf?arnumber=7058446","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T15:58:06Z","timestamp":1642003086000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7058446\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":33,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2015.2406753","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,11]]}}}