{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T22:23:16Z","timestamp":1648592596011},"reference-count":11,"publisher":"International Academy Publishing (IAP)","issue":"7","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.9.7.1737-1748","type":"journal-article","created":{"date-parts":[[2014,7,3]],"date-time":"2014-07-03T18:16:07Z","timestamp":1404411367000},"source":"Crossref","is-referenced-by-count":0,"title":["RTOS-Aware Refactoring for Portable Real-Time Design Models"],"prefix":"10.17706","volume":"9","author":[{"given":"Rania","family":"Mzid","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chokri","family":"Mraidha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Philippe","family":"Babau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Abid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2014,7,1]]},"reference":[{"key":"ref1","first-page":"331","volume-title":"Model based development of embedded systems","volume":"2426","author":"Schtz","year":"2002","unstructured":"[1] B. Schtz, A. Pretschner, F. Huber, J. Philipps. Model based development of embedded systems, Lecture Notes in Computer Science, vol 2426, 2002, Springer, 2002, pp.331-336."},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45874-3_2"},{"key":"ref3","first-page":"341347","article-title":"Extending the RT-profile le to support the OSEK infrastructure.","volume-title":"Proceedings of the 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing","author":"Moore","year":"2002","unstructured":"[7] A. Moore. Extending the RT-profile le to support the OSEK infrastructure. In Proceedings of the 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, pages 341347, Washington, DC, Apr. 2002."},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICESS.2005.70"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2005.24"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.58"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1109\/REAL.1990.128748","article-title":"Fixed priority scheduling of periodic task sets with arbitrary deadlines.","volume-title":"Proceedings in ll the IEEE Real-Time Systems Symposium","author":"Lehoczky","year":"1990","unstructured":"[16] J. E. Lehoczky,1990. Fixed priority scheduling of periodic task sets with arbitrary deadlines. Proceedings in ll the IEEE Real-Time Systems Symposium, 5-7 December 1990, pp. 201-209."},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2796-1"},{"key":"ref9","volume-title":"The priority ceiling protocol","volume":"8","author":"Goodenough","year":"1988","unstructured":"[18] J. B. Goodenough and L. Sha. The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks, volume 8.ACM, 1988"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/12.57058"},{"key":"ref11","first-page":"139","article-title":"Integer programming: State of the art and recent advances","author":"Guignard-Spielberg","year":"2005","unstructured":"[24] M. Guignard-Spielberg, K. Spielberg, Integer programming: State of the art and recent advances, Annals of Operations Research 139, 2005.","journal-title":"Ann Oper Res","ISSN":"http:\/\/id.crossref.org\/issn\/0254-5330","issn-type":"print"}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T11:22:08Z","timestamp":1565608928000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/11499"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,1]]},"references-count":11,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2014,7,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.9.7.1737-1748","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2014,7,1]]}}}