{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:28:45Z","timestamp":1729657725795,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1109\/icinfa.2013.6720302","type":"proceedings-article","created":{"date-parts":[[2014,1,31]],"date-time":"2014-01-31T17:34:30Z","timestamp":1391189670000},"page":"236-241","source":"Crossref","is-referenced-by-count":1,"title":["Aspect-oriented modeling for railway control systems"],"prefix":"10.1109","author":[{"given":"Lichen","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1007\/978-3-642-10373-5_13","article-title":"European train control system: A case study in formal verification","author":"platzer","year":"2009","journal-title":"11thInternational Conference on Formal Engineering Methods"},{"key":"17","first-page":"1089","article-title":"Modeling of CBTC carborne ATO functions using scade [j]","author":"cho","year":"2011","journal-title":"11thInternational Conference on Control Automation and Systems"},{"year":"0","author":"hoenicke","journal-title":"Specification of Radio Based Railway Crossings with the Combination of CSP OZ and DC","key":"18"},{"key":"15","first-page":"60","article-title":"A qualitative trajectory calculus and the composition of its relations","volume":"3799 lncs","author":"van weghe","year":"2005","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"year":"2010","author":"zhou","journal-title":"Design and Implementation of ATS Based on CBTC [D]","key":"16"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1007\/978-1-4615-5265-9"},{"key":"14","article-title":"A timed model for communicating sequential processes [c]","author":"reed","year":"1986","journal-title":"Pro ICALP'86"},{"year":"0","author":"friesen","journal-title":"An Exercise in Hybrid System Specification Using An Extension of Z","key":"11"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1016\/0304-3975(94)00169-J"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1109\/ISORC.2007.17"},{"key":"20","first-page":"646","article-title":"Logical verification and systematic parametric analysis in train control","author":"platzer","year":"2008","journal-title":"Magnus Egerstedt and Bud Mishra Editors Hybrid Systems Computation and Control 11thInternational Conference HSCC 2008"},{"year":"2012","journal-title":"SAE International Document AS5506B(2012)","article-title":"Architecture analysis & design language","key":"2"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1007\/978-3-642-14509-4"},{"key":"1","article-title":"Aspect-oriented programming","author":"kiczales","year":"1997","journal-title":"Proceedings of the 11thEuropean Conference on Object-Oriented Programming"},{"key":"7","first-page":"15","article-title":"Aspects in the industry standard AADL","author":"de niz","year":"0","journal-title":"AOM '07 Proceedings of the 10thInternational Workshop on Aspect-oriented Modeling"},{"key":"6","first-page":"222","article-title":"An architecture-based dependability modeling framework using aadl","author":"rugina","year":"2006","journal-title":"Proc 10thIASTED International Conference on Software Engineering and Applications (SEA'2006)"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1007\/0-387-24590-1_1"},{"key":"4","first-page":"270","article-title":"Applying AOP and MDA to middleware-based distributed real-time embedded systems software process","author":"liu","year":"2009","journal-title":"Information Processing 2009 APCIP 2009 Asia-Pacific Conference on"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1016\/S0967-0661(98)00047-1"},{"key":"8","article-title":"AO4AADL: An aspect oriented ADL for embedded systems","author":"loukil","year":"0","journal-title":"The 4thEuropean Conference on Software Architecture (ECSA 2010)"}],"event":{"name":"2013 IEEE International Conference on Information and Automation (ICIA)","start":{"date-parts":[[2013,8,26]]},"location":"Yinchuan, China","end":{"date-parts":[[2013,8,28]]}},"container-title":["2013 IEEE International Conference on Information and Automation (ICIA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6709836\/6720259\/06720302.pdf?arnumber=6720302","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T03:04:20Z","timestamp":1498100660000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6720302\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/icinfa.2013.6720302","relation":{},"subject":[],"published":{"date-parts":[[2013,8]]}}}