{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,22]],"date-time":"2023-08-22T07:21:39Z","timestamp":1692688899815},"reference-count":38,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Systems Science"],"published-print":{"date-parts":[[2005,2,10]]},"DOI":"10.1080\/00207720412331330408","type":"journal-article","created":{"date-parts":[[2005,2,15]],"date-time":"2005-02-15T18:30:51Z","timestamp":1108492251000},"page":"57-76","source":"Crossref","is-referenced-by-count":5,"title":["Design of real-time periodic control systems through synchronization and fixed priorities"],"prefix":"10.1080","volume":"36","author":[{"given":"D.","family":"Simon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Benattar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"bib1","volume-title":"Department of Automatic Control, Lund Institute of Technology","author":"Arz\u00e9n K-E","year":"1999"},{"key":"bib2","volume-title":"39th IEEE Conference on Decision and Control","author":"Arz\u00e9n K-E","year":"2000"},{"key":"bib3","volume-title":"Computer-Controlled Systems\u2014Theory and Design","author":"Astr\u00f6m K","year":"1990"},{"key":"bib4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01094342"},{"key":"bib5","doi-asserted-by":"publisher","DOI":"10.1109\/87.998024"},{"key":"bib6","volume-title":"SynchronizatioN and LinearitY:An Algebra for Discrete Event Systems","author":"Baccelli F","year":"1992"},{"key":"bib7","unstructured":"Benattar F 2001 Programmation et verification de t\u00e1ches robotiques multicadences Master's thesis, DEA Imagerie, Vision et Robotique, INP Grenoble"},{"key":"bib8","doi-asserted-by":"publisher","DOI":"10.1109\/12.919277"},{"key":"bib9","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1177\/027836499801700403","volume":"18","author":"Borrelly J","year":"1998","journal-title":"International Journal of Robotics Research"},{"key":"bib10","volume-title":"8th Symposium on Logic in Computer Science (LICS 93)","author":"Bouajjani A","year":"1993"},{"key":"bib11","volume-title":"HRT-HOOD: A Structured Design Method for Hard Real-Time Ada System","author":"Burns A","year":"1995"},{"key":"bib12","first-page":"pp. 115\u2013134","volume-title":"Workshop on Software Engineering and Petri Nets, 21st International Conference on the Application of the Theory of Petri Nets","author":"Burns A","year":"2000"},{"key":"bib13","volume-title":"Department of Automatic Control, Lund Institute of Technology","author":"Cervin A","year":"2003"},{"key":"bib14","volume-title":"IEEE-ACM Joint Computer Conference","author":"Chen J","year":"1986"},{"key":"bib15","first-page":"pp. 304\u2013313","volume-title":"International Conference on Dependable Systems and Networks (DNS\u201901)","author":"Chevochot P","year":"2001"},{"key":"bib16","first-page":"pp. 320\u2013327","volume-title":"6th International Conference on Real-time Computing Systems and Applications","author":"Eker J","year":"1999"},{"key":"bib17","volume-title":"Workshop on Theory and Practice of Timed Systems. ETPAS\u20192002","author":"Ermont J","year":"2002"},{"key":"bib18","first-page":"143","volume":"30","author":"Esparza J","year":"1994","journal-title":"Journal of Informatik Processing and Cybernetics"},{"key":"bib19","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007993819750"},{"key":"bib20","volume-title":"21st International Conference on Distributed Computing Systems, ICDCS\u201901","author":"Girault A","year":"2001"},{"key":"bib21","first-page":"pp. 318\u2013337","volume-title":"Integrated Formal Methods","author":"Klaudel H","year":"2000"},{"key":"bib22","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"bib23","volume-title":"Real-Time Systems Symposium","author":"Lu C","year":"2000"},{"key":"bib24","volume-title":"S\u00e9minaire franco-br\u00e9silien sur les syst\u00e8mes informatiques r\u00e9partis","author":"Mejia M","year":"1989"},{"key":"bib25","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"bib26","volume-title":"Technical Report DICOSMOS Project ISRN KTH\/MMK\u201398\/20\u2013SE, KTH","author":"Nilsson J","year":"1998"},{"key":"bib27","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008119029962"},{"key":"bib28","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.230492"},{"key":"bib29","volume-title":"IEEE Real Time Systems Symposium","author":"Ryu M","year":"1997"},{"key":"bib30","volume-title":"9th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS\u201902)","author":"Sandstr\u00f6m K","year":"2002"},{"key":"bib31","volume-title":"Technology Report TRITA-MMK 2000-3, ISSN 1400-1179, ISRN KTH\/MMK\u201300\/3\u2013SE, KTH","author":"Sanfridson M","year":"2000"},{"key":"bib32","doi-asserted-by":"publisher","DOI":"10.1109\/12.57058"},{"key":"bib33","doi-asserted-by":"publisher","DOI":"10.1109\/87.701336"},{"key":"bib34","doi-asserted-by":"publisher","DOI":"10.1109\/87.260267"},{"key":"bib35","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:19971220"},{"key":"bib36","doi-asserted-by":"publisher","DOI":"10.1109\/12.338100"},{"key":"bib37","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007964222989"},{"key":"bib38","first-page":"pp. 3276\u20133281","volume-title":"European Control Conference","author":"Wittenmark B","year":"2001"}],"container-title":["International Journal of Systems Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207720412331330408","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T15:56:04Z","timestamp":1497628564000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/00207720412331330408"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,2,10]]},"references-count":38,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2005,2,10]]}},"alternative-id":["10.1080\/00207720412331330408"],"URL":"https:\/\/doi.org\/10.1080\/00207720412331330408","relation":{},"ISSN":["0020-7721","1464-5319"],"issn-type":[{"value":"0020-7721","type":"print"},{"value":"1464-5319","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,2,10]]}}}