{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:23:53Z","timestamp":1729617833434,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1109\/icse.2009.5070569","type":"proceedings-article","created":{"date-parts":[[2009,6,10]],"date-time":"2009-06-10T18:24:29Z","timestamp":1244658269000},"page":"615-618","source":"Crossref","is-referenced-by-count":4,"title":["Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite"],"prefix":"10.1109","author":[{"given":"Stefan","family":"Henkler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joel","family":"Greenyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Hirsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wilhelm","family":"Schafer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kahtan","family":"Alhawash","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias","family":"Eckardt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Heinzemann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Renate","family":"Loffler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Seibel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Giese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44674-5_1"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOT.2002.1167077"},{"key":"ref12","article-title":"Synthesis of real-time component behavior","author":"henkler","year":"2008","journal-title":"Technical Report tr-ri-08–296"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/11817963_22","article-title":"Check it out: On the efficient formal verification of live sequence charts","volume":"4144","author":"klose","year":"2006","journal-title":"Computer Aided Verification"},{"journal-title":"UML 2 0 Superstructure Specification 2003 Document ptc\/03–08–02","article-title":"Object Management Group","year":"0","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(03)00068-5"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.28"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587077"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.1995.496953"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/248621.248623"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062601"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.88"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1138953.1138967"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029920"},{"key":"ref8","first-page":"38","article-title":"Towards the Compositional Verification of Real-Time UML Designs","author":"giese","year":"2003","journal-title":"Proc of the European Software Engineering Conference (ESEC)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/11495628_11"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0145-x"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1049\/ic:20040234"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24597-1_36"},{"journal-title":"A Framework for Specification Verification for Complex Embedded Systems","year":"2005","author":"wittke","key":"ref20"}],"event":{"name":"2009 IEEE 31st International Conference on Software Engineering","start":{"date-parts":[[2009,5,16]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2009,5,24]]}},"container-title":["2009 IEEE 31st International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5062304\/5070493\/05070569.pdf?arnumber=5070569","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T21:01:26Z","timestamp":1558386086000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5070569\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/icse.2009.5070569","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}