{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T16:50:36Z","timestamp":1760028636869},"reference-count":20,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2009,5,1]],"date-time":"2009-05-01T00:00:00Z","timestamp":1241136000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Ind. Inf."],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1109\/tii.2009.2017526","type":"journal-article","created":{"date-parts":[[2009,4,28]],"date-time":"2009-04-28T20:13:00Z","timestamp":1240949580000},"page":"132-146","source":"Crossref","is-referenced-by-count":14,"title":["Safely Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems\u2013A Combined Formal and Experimental Approach"],"prefix":"10.1109","volume":"5","author":[{"given":"M.","family":"Fugger","sequence":"first","affiliation":[]},{"given":"E.","family":"Armengaud","sequence":"additional","affiliation":[]},{"given":"A.","family":"Steininger","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/71.282558"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/93385.93411"},{"key":"ref12","author":"kopetz","year":"1997","journal-title":"Real-Time Systems Design Principles for Distributed Embedded Applications"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.5009516"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90043-0"},{"key":"ref15","first-page":"69","article-title":"a method for bit level test and diagnosis of communication services","author":"armengaud","year":"2005","journal-title":"Proc 8th IEEE Workshop on Design Diagnostics of Electronic Circuits Systems (DDECS'05)"},{"key":"ref16","author":"schneider","year":"1987","journal-title":"Understanding protocols for byzantine clock synchronization"},{"key":"ref17","first-page":"217","article-title":"mechanical verification of a generalized protocol for byzantine fault tolerant clock synchronization","author":"shankar","year":"1991","journal-title":"Proc 2nd Int Symp Formal Techniques in Real-Time and Fault-Tolerant Systems"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/DCFTS.1999.814297"},{"key":"ref19","author":"schossmaier","year":"1998","journal-title":"Interval-based Clock state and rate synchronization"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090825"},{"key":"ref3","author":"armengaud","year":"2008","journal-title":"A transparent online test approach for time-triggered communication protocols"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2005.1583956"},{"key":"ref5","first-page":"85","article-title":"experimental evaluation of the flexray clock synchronization service","author":"armengaud","year":"2008","journal-title":"Proc 20 ITG\/GI\/GMM Workshop Testmethoden und Zuverlssigkeit von Schaltungen und Systemen"},{"key":"ref8","year":"2005","journal-title":"FlexRay Communications Systems Protocol Specification"},{"key":"ref7","year":"2003","journal-title":"Time-triggered protocol ttp\/c high level specification document protocol"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2005.849725"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2000.854015"},{"key":"ref9","author":"anceaume","year":"1998","journal-title":"Performance evaluation of clock synchronization algorithms"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/WFCS.2008.4638707"}],"container-title":["IEEE Transactions on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9424\/4909480\/04895704.pdf?arnumber=4895704","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T00:01:36Z","timestamp":1633910496000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4895704\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":20,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tii.2009.2017526","relation":{},"ISSN":["1551-3203","1941-0050"],"issn-type":[{"value":"1551-3203","type":"print"},{"value":"1941-0050","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,5]]}}}