{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:05Z","timestamp":1750307465475,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T00:00:00Z","timestamp":1284940800000},"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":[[2010,9,20]]},"DOI":"10.1145\/1858996.1859076","type":"proceedings-article","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T12:04:33Z","timestamp":1285157073000},"page":"361-362","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["REMES tool-chain"],"prefix":"10.1145","author":[{"given":"Dinko","family":"Ivanov","sequence":"first","affiliation":[{"name":"University St. Kliment Ohridski, Sofia, Bulgaria"}]},{"given":"Marin","family":"Orli\u0107","sequence":"additional","affiliation":[{"name":"University of Zagreb, Zagreb, Croatia"}]},{"given":"Cristina","family":"Seceleanu","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"}]},{"given":"Aneta","family":"Vulgarakis","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2010,9,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/646881.710623"},{"issue":"3","key":"e_1_3_2_1_2_1","first-page":"231","volume":"8","author":"Alur R.","year":"1987","unstructured":"]] R. Alur , T. Dang , J. Esposito , Y. Hur , F. Ivan\u010di\u0107 , V. Kumar , I. Lee , P. Mishra , G. Pappas , and O. Sokolsky . Hierarchical Modeling and Analysis of Embedded Systems. In Proceedings of the IEEE , 8 ( 3 ): 231 -- 274 , 1987 . ]]R. Alur, T. Dang, J. Esposito, Y. Hur, F. Ivan\u010di\u0107, V. Kumar, I. Lee, P. Mishra, G. Pappas, and O. Sokolsky. Hierarchical Modeling and Analysis of Embedded Systems. In Proceedings of the IEEE, 8(3):231--274, 1987.","journal-title":"Hierarchical Modeling and Analysis of Embedded Systems. In Proceedings of the IEEE"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_4_1","first-page":"147","volume-title":"Proceedings of HSCC'01","author":"Behrmann G.","year":"2034","unstructured":"]] G. Behrmann , A. Fehnker , T. Hune , K. G. Larsen , P. Pettersson , J. Romijn , and F. Vaandrager . Minimum-Cost Reachability for Priced Timed Automata . In Proceedings of HSCC'01 , number 2034 in LNCS, pp. 147 -- 161 . Springer-Verlag , 2001. ]]G. Behrmann, A. Fehnker, T. Hune, K. G. Larsen, P. Pettersson, J. Romijn, and F. Vaandrager. Minimum-Cost Reachability for Priced Timed Automata. In Proceedings of HSCC'01, number 2034 in LNCS, pp. 147--161. Springer-Verlag, 2001."},{"key":"e_1_3_2_1_5_1","first-page":"166","volume-title":"Proceedings of the","author":"Henzinger T. A.","year":"2000","unstructured":"]] T. A. Henzinger , B. Horowitz , and C. M. Kirsch . Giotto: A Time-Triggered Language for Embedded Programming . In Proceedings of the IEEE, pp. 166 -- 184 . Springer-Verlag , 2000 . ]]T. A. Henzinger, B. Horowitz, and C. M. Kirsch. Giotto: A Time-Triggered Language for Embedded Programming. In Proceedings of the IEEE, pp. 166--184. Springer-Verlag, 2000."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2009.49"}],"event":{"name":"ASE10: IEEE\/ACM International Conference on Automated Software Engineering","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Antwerp Belgium","acronym":"ASE10"},"container-title":["Proceedings of the IEEE\/ACM international conference on Automated software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1858996.1859076","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1858996.1859076","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:31Z","timestamp":1750248511000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1858996.1859076"}},"subtitle":["a set of integrated tools for behavioral modeling and analysis of embedded systems"],"short-title":[],"issued":{"date-parts":[[2010,9,20]]},"references-count":6,"alternative-id":["10.1145\/1858996.1859076","10.1145\/1858996"],"URL":"https:\/\/doi.org\/10.1145\/1858996.1859076","relation":{},"subject":[],"published":{"date-parts":[[2010,9,20]]},"assertion":[{"value":"2010-09-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}