{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T00:40:25Z","timestamp":1736124025555,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540308812"},{"type":"electronic","value":"9783540322979"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11599555_8","type":"book-chapter","created":{"date-parts":[[2005,11,29]],"date-time":"2005-11-29T13:43:33Z","timestamp":1133271813000},"page":"50-62","source":"Crossref","is-referenced-by-count":2,"title":["A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC"],"prefix":"10.1007","author":[{"given":"Leonardo","family":"Amorim","sequence":"first","affiliation":[]},{"given":"Raimundo","family":"Barreto","sequence":"additional","affiliation":[]},{"given":"Paulo","family":"Maciel","sequence":"additional","affiliation":[]},{"given":"Eduardo","family":"Tavares","sequence":"additional","affiliation":[]},{"suffix":"Jr","given":"Meuse","family":"Oliveira","sequence":"additional","affiliation":[]},{"given":"Arthur","family":"Bessa","sequence":"additional","affiliation":[]},{"given":"Ricardo","family":"Lima","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"ITU-T: Message Sequence Chart (MSC), Geneva (1996)"},{"key":"8_CR2","unstructured":"OMG: Unified Modeling Language (UML) documentation (2005), http:\/\/www.omg.org"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Harel, D., Marelly, R.: Come, Lets Play: Scenario-Based Programming Using LSCs and Play-Engine (2003)","DOI":"10.1007\/978-3-642-19029-2"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Cornero, M., Thoen, F., Goossens, G., Curatelli, F.: Software synthesis for real-time information processing systems. In: Code Generation for Embedded Processors, pp. 260\u2013279 (1995)","DOI":"10.1007\/978-1-4615-2323-9_15"},{"key":"8_CR5","volume-title":"A time petri net-based approach for software synthesis considering dispatcher overheads","author":"R. Barreto","year":"2005","unstructured":"Barreto, R., Tavares, E., Maciel, P., Neves, M., Oliveira Jr., M., Amorim, L., Bessa, A., Lima, R.: A time petri net-based approach for software synthesis considering dispatcher overheads. IEEE Computer Society Press, Rio de Janeiro (2005)"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1109\/32.48943","volume":"16","author":"J. Xu","year":"1990","unstructured":"Xu, J., Parnas, D.: Scheduling processes with release times, deadlines, precedence, and exclusion relations. IEEE Trans. Soft. Engineering\u00a016, 360\u2013369 (1990)","journal-title":"IEEE Trans. Soft. Engineering"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"1179","DOI":"10.1109\/71.809575","volume":"10","author":"T. Abdelzaher","year":"1999","unstructured":"Abdelzaher, T., Shin, K.: Combined task and message scheduling in distributed real-time systems. IEEE Trans. Parallel Distributed Systems\u00a010, 1179\u20131191 (1999)","journal-title":"IEEE Trans. Parallel Distributed Systems"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Altisen, K., G\u00f6bler, G., Pnueli, A., Sifakis, J., Tripakis, S., Yovine, S.: A framework for scheduler synthesis. In: IEEE Real-Time System Symposium, pp. 154\u2013163 (1999)","DOI":"10.1109\/REAL.1999.818838"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Sgroi, M., Lavagno, L., Watanabe, Y., Sangiovanni-Vincentelli, A.: Synthesis of embedded software using free-choice petri nets. In: DAC 1999 (1999)","DOI":"10.1145\/309847.310073"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Hsiung, P.A.: Formal synthesis and code generation of embedded real-time software. In: CODES (2001)","DOI":"10.1145\/371636.371729"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Weber, M., Kindler, E.: The petri net markup language. In: Petri net Technology Communication Systems. Advances in Petri Nets (2002)","DOI":"10.1007\/978-3-540-40022-6_7"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"P. Merlin","year":"1976","unstructured":"Merlin, P., Faber, D.J.: Recoverability of communication protocols. IEEE Trans. Comm.\u00a024, 1036\u20131043 (1976)","journal-title":"IEEE Trans. Comm."},{"key":"8_CR13","unstructured":"Mok, A.K.: Fundamental Design Problems of Distributed Systems for the Hard-Real-Time Environment. PhD Thesis, MIT (1983)"}],"container-title":["Lecture Notes in Computer Science","Embedded Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11599555_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T00:06:27Z","timestamp":1736121987000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11599555_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540308812","9783540322979"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11599555_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}