{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T10:40:26Z","timestamp":1730198426105,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1109\/apsec.2015.46","type":"proceedings-article","created":{"date-parts":[[2016,5,12]],"date-time":"2016-05-12T20:20:28Z","timestamp":1463084428000},"page":"174-181","source":"Crossref","is-referenced-by-count":1,"title":["Hybrid Marte"],"prefix":"10.1109","author":[{"given":"Lulu","family":"Yao","sequence":"first","affiliation":[]},{"given":"Jing","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Yan","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Yuejun","family":"Wang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Profile for schedulability, performance, and time specifi-cation[J]","author":"omg","year":"2003","journal-title":"Object Management Group"},{"journal-title":"OMG document Ad\/2006-03-08-01","article-title":"Team S M L M. Systems Modeling Language (SysML) Specification[J]","year":"2006","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-005-0211-z"},{"key":"ref13","first-page":"273","article-title":"Formal verification of hybrid systems[C]\/\/Embedded Software (EMSOFT)","author":"alur","year":"2011","journal-title":"IEEE Conference Proceedings 2011"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-008-0055-2"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-012-1301-1"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806650"},{"journal-title":"André C","article-title":"Syntax and semantics of the clock constraint specification language (CCSL)[J]","year":"2009","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1080\/19401490902818259"},{"key":"ref19","first-page":"535","article-title":"Using transition systems to unify uml mod-els[M]\/\/Formal Methods and Software Engineering","author":"liu","year":"2002"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0109998"},{"key":"ref3","first-page":"366","article-title":"Hybrid system modeling and autonomous control systems[M]\/\/Hybrid Systems","author":"antsaklis","year":"1993"},{"key":"ref6","first-page":"559","article-title":"Modeling time (s)[M]\/\/Model Driven Engineering Languages and Systems","author":"andr\u00e9","year":"2007"},{"journal-title":"Modeling and Analysis of Real-time and Embedded systems (MARTE) Version 1 1 Object Management Group","year":"2011","key":"ref5"},{"key":"ref8","first-page":"34","article-title":"Domain specific languages for business process management: a case study[C]","author":"barzdins","year":"2009","journal-title":"Proceedings of DSM 2009 Workshop of OOPSLA"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1882362.1882376"},{"key":"ref2","first-page":"300","article-title":"Etree: Effective and efficient event modeling for real-time online social media networks[C]\/\/Web Intelligence and Intelligent Agent Technology (WI-IAT)","volume":"1","author":"gu","year":"2011","journal-title":"2011 IEEE\/WIC\/ACM International Conference on IEEE"},{"key":"ref1","first-page":"158","article-title":"Fusing Text and Frienships for Location Inference in Online Social Networks[C]\/\/Web Intelligence and Intelligent Agent Technology (WI-IAT)","volume":"1","author":"gu","year":"2012","journal-title":"2012 IEEE\/WIC\/ACM International Conferences on IEEE"},{"key":"ref9","first-page":"1","article-title":"Applying UML\/MARTE on industrial projects: challenges, experiences, and guidelines[J]","author":"iqbal","year":"2014","journal-title":"Software & Systems Modeling"}],"event":{"name":"2015 Asia-Pacific Software Engineering Conference (APSEC)","start":{"date-parts":[[2015,12,1]]},"location":"New Delhi","end":{"date-parts":[[2015,12,4]]}},"container-title":["2015 Asia-Pacific Software Engineering Conference (APSEC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7467057\/7467261\/07467298.pdf?arnumber=7467298","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T16:18:42Z","timestamp":1489767522000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7467298\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/apsec.2015.46","relation":{},"subject":[],"published":{"date-parts":[[2015,12]]}}}