{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:25:36Z","timestamp":1750220736318,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T00:00:00Z","timestamp":1585526400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,3,30]]},"DOI":"10.1145\/3341105.3373994","type":"proceedings-article","created":{"date-parts":[[2020,3,29]],"date-time":"2020-03-29T12:13:52Z","timestamp":1585484032000},"page":"1330-1339","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Analyses of a model-based real-time language embedded in C++"],"prefix":"10.1145","author":[{"given":"Tadeus","family":"Prastowo","sequence":"first","affiliation":[{"name":"University of Trento, Trento, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Palopoli","sequence":"additional","affiliation":[{"name":"University of Trento, Trento, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Abeni","sequence":"additional","affiliation":[{"name":"Scuola Superiore S. Anna, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Lipari","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Lille 1, Lille, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,3,30]]},"reference":[{"volume-title":"The Problem with Software: Why Smart Engineers Write Bad Code","author":"Barr A.","key":"e_1_3_2_1_1_1","unstructured":"A. Barr . 2018. The Problem with Software: Why Smart Engineers Write Bad Code . The MIT Press , Cambridge, MA, USA . A. Barr. 2018. The Problem with Software: Why Smart Engineers Write Bad Code. The MIT Press, Cambridge, MA, USA."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08696-5"},{"key":"e_1_3_2_1_3_1","volume-title":"Esterel: Towards a synchronous and semantically sound high-level language for real-time applications","author":"Berry G.","year":"1983","unstructured":"G. Berry , S. Moisan , and J.-P. Rigault . 1983 . Esterel: Towards a synchronous and semantically sound high-level language for real-time applications . In RTSS. IEEE , Silver Spring, MD, USA , 30--37. G. Berry, S. Moisan, and J.-P. Rigault. 1983. Esterel: Towards a synchronous and semantically sound high-level language for real-time applications. In RTSS. IEEE, Silver Spring, MD, USA, 30--37."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2010.16"},{"key":"e_1_3_2_1_5_1","unstructured":"A. Burns and A. Wellings. 2009. Real-Time Systems and Programming Languages: Ada Real-Time Java and C\/Real-Time POSIX (4th ed.). Pearson England.  A. Burns and A. Wellings. 2009. Real-Time Systems and Programming Languages: Ada Real-Time Java and C\/Real-Time POSIX (4th ed.). Pearson England."},{"key":"e_1_3_2_1_6_1","volume-title":"The Top Programming Languages","author":"Cass S.","year":"2019","unstructured":"S. Cass . 2019. The Top Programming Languages 2019 . http:\/\/spectrum.ieee.org\/static\/interactive-the-top-programming-languages-2019 Accessed: 2019-12-14. S. Cass. 2019. The Top Programming Languages 2019. http:\/\/spectrum.ieee.org\/static\/interactive-the-top-programming-languages-2019 Accessed: 2019-12-14."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"B. Combemale R. France J.-M. J\u00e9z\u00e9quel B. Rumpe J. Steel and D. Vojtisek. 2016. Engineering Modeling Languages. Chapman and Hall\/CRC Boca Raton FL USA.  B. Combemale R. France J.-M. J\u00e9z\u00e9quel B. Rumpe J. Steel and D. Vojtisek. 2016. Engineering Modeling Languages . Chapman and Hall\/CRC Boca Raton FL USA.","DOI":"10.1201\/b21841"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-39953-4_3"},{"key":"e_1_3_2_1_9_1","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"Czarnecki K.","year":"2000","unstructured":"K. Czarnecki and U. W. Eisenecker . 2000 . Generative Programming: Methods, Tools, and Applications . Addison-Wesley , New York, NY, USA . K. Czarnecki and U. W. Eisenecker. 2000. Generative Programming: Methods, Tools, and Applications. Addison-Wesley, New York, NY, USA."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869521"},{"key":"e_1_3_2_1_11_1","unstructured":"B. Dawes. 2005. Boost Background Information. https:\/\/www.boost.org\/users\/index.html Accessed: 2019-12-14.  B. Dawes. 2005. Boost Background Information. https:\/\/www.boost.org\/users\/index.html Accessed: 2019-12-14."},{"volume-title":"RTAS Workshop on MDES. IEEE","author":"Deters M.","key":"e_1_3_2_1_12_1","unstructured":"M. Deters , C. Gill , and R. Cytron . 2003. Rate-Monotonic Analysis in the C++ Type System . In RTAS Workshop on MDES. IEEE , Washington, DC. http:\/\/www.cse.wustl.edu\/~cdgill\/RTAS03\/mdes_program.html M. Deters, C. Gill, and R. Cytron. 2003. Rate-Monotonic Analysis in the C++ Type System. In RTAS Workshop on MDES. IEEE, Washington, DC. http:\/\/www.cse.wustl.edu\/~cdgill\/RTAS03\/mdes_program.html"},{"key":"e_1_3_2_1_13_1","unstructured":"B. Emshoff. 2014. Using C++ on Mission and Safety Critical Platforms. https:\/\/www.youtube.com\/watch?v=sRe77Mdna0Y Accessed: 2019-12-14.  B. Emshoff. 2014. Using C++ on Mission and Safety Critical Platforms. https:\/\/www.youtube.com\/watch?v=sRe77Mdna0Y Accessed: 2019-12-14."},{"key":"e_1_3_2_1_14_1","unstructured":"J. Falcou and V. Reverdy. 2019. EDSL Infinity Wars. http:\/\/www.youtube.com\/watch?v=XH00wB_bbU4 Accessed: 2019-12-14.  J. Falcou and V. Reverdy. 2019. EDSL Infinity Wars. http:\/\/www.youtube.com\/watch?v=XH00wB_bbU4 Accessed: 2019-12-14."},{"key":"e_1_3_2_1_15_1","unstructured":"T. Foote. 2017. Celebrating 9 Years of ROS. https:\/\/spectrum.ieee.org\/automaton\/robotics\/robotics-software\/celebrating-9-years-of-ros Accessed: 2019-12-14.  T. Foote. 2017. Celebrating 9 Years of ROS. https:\/\/spectrum.ieee.org\/automaton\/robotics\/robotics-software\/celebrating-9-years-of-ros Accessed: 2019-12-14."},{"key":"e_1_3_2_1_16_1","volume-title":"A Synchronous Language for Critical Embedded Systems with Multiple Real-Time Constraints. Theses","author":"Forget J.","year":"1942","unstructured":"J. Forget . 2009. A Synchronous Language for Critical Embedded Systems with Multiple Real-Time Constraints. Theses . Institut Sup\u00e9rieur de l'A\u00e9ronautique et de l'Espace . https:\/\/hal.archives-ouvertes.fr\/tel-0 1942 421 J. Forget. 2009. A Synchronous Language for Critical Embedded Systems with Multiple Real-Time Constraints. Theses. Institut Sup\u00e9rieur de l'A\u00e9ronautique et de l'Espace. https:\/\/hal.archives-ouvertes.fr\/tel-01942421"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-18317-5_15"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00365999"},{"key":"e_1_3_2_1_19_1","unstructured":"B. Gerkey. 2014. Why ROS 2.0? http:\/\/design.ros2.org\/articles\/why_ros2.html Accessed: 2019-12-14.  B. Gerkey. 2014. Why ROS 2.0? http:\/\/design.ros2.org\/articles\/why_ros2.html Accessed: 2019-12-14."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.01.004"},{"volume-title":"Hackers & Painters: Big Ideas From The ComputerAge","author":"Graham P.","key":"e_1_3_2_1_21_1","unstructured":"P. Graham . 2010. Beating the Averages . In Hackers & Painters: Big Ideas From The ComputerAge . O'Reilly Media , Sebastopol, CA, USA , 169--180. P. Graham. 2010. Beating the Averages. In Hackers & Painters: Big Ideas From The ComputerAge. O'Reilly Media, Sebastopol, CA, USA, 169--180."},{"key":"e_1_3_2_1_22_1","unstructured":"Philippe Groarke. 2019. Re: [EXTERNAL] Re: Linear algebra library proposal. https:\/\/lists.isocpp.org\/sg14\/2019\/06\/0149.php Accessed: 2019-12-14.  Philippe Groarke. 2019. Re: [EXTERNAL] Re: Linear algebra library proposal. https:\/\/lists.isocpp.org\/sg14\/2019\/06\/0149.php Accessed: 2019-12-14."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45449-7_12"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2692915.2628146"},{"key":"e_1_3_2_1_25_1","volume-title":"Compiler Transformations: The TCEL Approach","author":"Hong S.","year":"1993","unstructured":"S. Hong and R. Gerber . 1993 . Scheduling with Compiler Transformations: The TCEL Approach . In RTOSS. IEEE , Washington, DC , 80--84. S. Hong and R. Gerber. 1993. Scheduling with Compiler Transformations: The TCEL Approach. In RTOSS. IEEE, Washington, DC, 80--84."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/97945.97980"},{"key":"e_1_3_2_1_27_1","unstructured":"M. Kerrisk P. Zijlstra and J. Lelli. 2019. sched---overview of CPU scheduling. http:\/\/man7.org\/linux\/man-pages\/man7\/sched.7.html Accessed: 2019-12-14.  M. Kerrisk P. Zijlstra and J. Lelli. 2019. sched---overview of CPU scheduling. http:\/\/man7.org\/linux\/man-pages\/man7\/sched.7.html Accessed: 2019-12-14."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6313049"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34688-0"},{"key":"e_1_3_2_1_30_1","unstructured":"M. Maimone. 2014. C++ on Mars. https:\/\/www.youtube.com\/watch?v=3SdSKZFoUa8 Accessed: 2019-12-14.  M. Maimone. 2014. C++ on Mars. https:\/\/www.youtube.com\/watch?v=3SdSKZFoUa8 Accessed: 2019-12-14."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2018.00031"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2014.6926012"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.1999.811199"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17685-2_9"},{"key":"e_1_3_2_1_35_1","unstructured":"T. Prastowo. 2018. The Repository of Tice Library. https:\/\/savannah.nongnu.org\/projects\/tice Accessed: 2019-12-14.  T. Prastowo. 2018. The Repository of Tice Library. https:\/\/savannah.nongnu.org\/projects\/tice Accessed: 2019-12-14."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373400.3373411"},{"key":"e_1_3_2_1_37_1","unstructured":"StackOverflow. 2019. Developer Survey Results 2019: How Technologies Are Connected. https:\/\/insights.stackoverflow.com\/survey\/2019#technology-_-how-technologies-are-connected Accessed: 2019-12-14.  StackOverflow. 2019. Developer Survey Results 2019: How Technologies Are Connected. https:\/\/insights.stackoverflow.com\/survey\/2019#technology-_-how-technologies-are-connected Accessed: 2019-12-14."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(92)90046-M"},{"key":"e_1_3_2_1_39_1","unstructured":"G. Travis. 2019. How the Boeing 737 Max Disaster Looks to a Software Developer. https:\/\/spectrum.ieee.org\/aerospace\/aviation\/how-the-boeing-737-max-disaster-looks-to-a-software-developer Accessed: 2019-12-14.  G. Travis. 2019. How the Boeing 737 Max Disaster Looks to a Software Developer. https:\/\/spectrum.ieee.org\/aerospace\/aviation\/how-the-boeing-737-max-disaster-looks-to-a-software-developer Accessed: 2019-12-14."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976767.2976772"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-57172-5_2"}],"event":{"name":"SAC '20: The 35th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Brno Czech Republic","acronym":"SAC '20"},"container-title":["Proceedings of the 35th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341105.3373994","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3341105.3373994","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:30Z","timestamp":1750199910000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341105.3373994"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,30]]},"references-count":41,"alternative-id":["10.1145\/3341105.3373994","10.1145\/3341105"],"URL":"https:\/\/doi.org\/10.1145\/3341105.3373994","relation":{},"subject":[],"published":{"date-parts":[[2020,3,30]]},"assertion":[{"value":"2020-03-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}