{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T04:07:38Z","timestamp":1747886858794,"version":"3.41.0"},"reference-count":13,"publisher":"IEEE","license":[{"start":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T00:00:00Z","timestamp":1346457600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T00:00:00Z","timestamp":1346457600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1109\/modre.2012.6360074","type":"proceedings-article","created":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T02:14:48Z","timestamp":1354328088000},"page":"49-57","source":"Crossref","is-referenced-by-count":4,"title":["A DSL for specifying timing requirements"],"prefix":"10.1109","author":[{"given":"Arda","family":"Goknil","sequence":"first","affiliation":[{"name":"AOSTE Project, UNS-I3S-INRIA, Sophia Antipolis, France"}]},{"given":"Marie-Agn\u00e8s","family":"Peraldi-Frati","sequence":"additional","affiliation":[{"name":"AOSTE Project, UNS-I3S-INRIA, Sophia Antipolis, France"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317439"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-009-0142-3"},{"journal-title":"AUTOSAR Development Cooperation","key":"ref5"},{"volume-title":"Eclipse Modeling Framework (EMF)","key":"ref6"},{"volume-title":"IEEE Computer Society, Colorado","key":"ref7","article-title":"Guide to Software Engineering Body of Knowledge"},{"issue":"3","key":"ref8","first-page":"309","article-title":"CCSL: Specifying Clock Constraints with UML\/Marte","volume":"4","author":"Mallet","year":"2008","journal-title":"ISSE"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71289-3_16"},{"key":"ref10","article-title":"A Timing Language for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language","volume-title":"ICECCS","author":"Peraldi-Frati","year":"2012"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-009-0115-6"},{"volume-title":"The ITEA TIMMO-2-USE Project","key":"ref12"},{"key":"ref13","article-title":"TimeSquare: on the formal execution of UML and DSL models","author":"DeAntoni","year":"2008","journal-title":"Tool session of the 4th Model driven development for distributed real time systems"},{"article-title":"Quality of Service Support in Development of Distributed Systems","year":"2001","author":"Aagedal","key":"ref14"},{"article-title":"The Object Constraint Language: Precise Modeling with UML","year":"1999","author":"Warmer","key":"ref15"}],"event":{"name":"2012 IEEE Model-Driven Requirements Engineering Workshop (MoDRE)","start":{"date-parts":[[2012,9,24]]},"location":"Chicago, IL, USA","end":{"date-parts":[[2012,9,24]]}},"container-title":["2012 Second IEEE International Workshop on Model-Driven Requirements Engineering (MoDRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6336867\/6360071\/06360074.pdf?arnumber=6360074","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:26:58Z","timestamp":1747805218000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6360074\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/modre.2012.6360074","relation":{},"subject":[],"published":{"date-parts":[[2012,9]]}}}