{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T08:37:14Z","timestamp":1773218234548,"version":"3.50.1"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/etfa.2017.8247612","type":"proceedings-article","created":{"date-parts":[[2018,1,8]],"date-time":"2018-01-08T17:42:04Z","timestamp":1515433324000},"page":"1-8","source":"Crossref","is-referenced-by-count":20,"title":["Verifying end-to-end real-time constraints on multi-periodic models"],"prefix":"10.1109","author":[{"given":"Julien","family":"Forget","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frederic","family":"Boniol","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claire","family":"Pagetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.2298\/CSIS120614011M"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"ref11","year":"2012","journal-title":"Timing Augmented Description Language (TADL2) syntax semantics metamodel Ver 2 Deliverable"},{"key":"ref12","article-title":"Combining CCSL and Esterel to specify and verify time requirements","author":"andr\u00e9","year":"2009","journal-title":"Languages Compilers and Tools for Embedded Systems"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-39031-9_8","article-title":"Analysis support for tad12 timing constraints on east-adl models","author":"goknil","year":"2013","journal-title":"Proc European Conference on Software Architecture"},{"key":"ref14","article-title":"A compositional framework for end-to-end path delay calculation of automotive systems under different paths semantics","author":"feiertag","year":"2008","journal-title":"Proceedings of the IEEE Real-Time System Symposium Workshop on Compositional Theory and Technology for Real-Time Embedded Systems"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1879021.1879039"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2013.6663476"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2015.24"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967707"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2480362.2480678"},{"key":"ref28","author":"curic","year":"2005","journal-title":"Implementing Lustre programs on distributed platforms with real-time constraints"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2005.19"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2011.6059015"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-011-0107-x"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024837"},{"key":"ref29","article-title":"The synchronous approach to reactive and real-time systems","author":"benveniste","year":"2001","journal-title":"Readings in Hardware\/Software Co-Design"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2001.980712"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1999.818860"},{"key":"ref7","article-title":"Adding time-offsets to schedulability analysis","author":"tindell","year":"1994","journal-title":"Tech Rep"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.21236\/ADA455842"},{"key":"ref9","volume":"2050","author":"le boudec","year":"2001","journal-title":"Network Calculus A Theory of Deterministic Queuing Systems for the Internet"},{"key":"ref1","author":"burns","year":"2009","journal-title":"Real-Time Systems and Programming Languages Ada Real-Time Java and C\/Real-Time POSIX"},{"key":"ref20","article-title":"Synthe-sizing job-level dependencies for automotive multi-rate effect chains","author":"becker","year":"2016","journal-title":"The 22th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1994.342716"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2997465.2997479"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2643015"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2012.69"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2010.26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2014.6926012"}],"event":{"name":"2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","location":"Limassol","start":{"date-parts":[[2017,9,12]]},"end":{"date-parts":[[2017,9,15]]}},"container-title":["2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8233358\/8247555\/08247612.pdf?arnumber=8247612","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T00:11:16Z","timestamp":1570579876000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8247612\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/etfa.2017.8247612","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}