{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T05:35:01Z","timestamp":1740548101563,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540290131"},{"type":"electronic","value":"9783540320807"}],"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\/11556930_40","type":"book-chapter","created":{"date-parts":[[2010,9,29]],"date-time":"2010-09-29T01:18:41Z","timestamp":1285723121000},"page":"382-392","source":"Crossref","is-referenced-by-count":0,"title":["An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints"],"prefix":"10.1007","author":[{"given":"Eduardo","family":"Tavares","sequence":"first","affiliation":[]},{"given":"Raimundo","family":"Barreto","sequence":"additional","affiliation":[]},{"given":"Paulo","family":"Maciel","sequence":"additional","affiliation":[]},{"suffix":"Jr.","given":"Meuse","family":"Oliveira","sequence":"additional","affiliation":[]},{"given":"Adilson","family":"Arcoverde","sequence":"additional","affiliation":[]},{"suffix":"Jr.","given":"Gabriel","family":"Alves","sequence":"additional","affiliation":[]},{"given":"Ricardo","family":"Lima","sequence":"additional","affiliation":[]},{"given":"Leonardo","family":"Barros","sequence":"additional","affiliation":[]},{"given":"Arthur","family":"Bessa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"40_CR1","unstructured":"Arcoverde Jr., A., Alves Jr., G., Lima, R., Maciel, P., Oliveira Jr., M., Barreto, R.: EZPetri: A Petri net interchange framework for Eclipse based on PNML. In: First International Symposium on Leveraging Applications of Formal Method (ISoLA 2004) (October 2004)"},{"key":"40_CR2","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, December 1999, pp. 154\u2013163 (1999)","DOI":"10.1109\/REAL.1999.818838"},{"key":"40_CR3","unstructured":"AlEnawy, T.A.: H. Aydin On Energy-Constrained Real-Time Scheduling. In: Proceedings of the 16th EuroMicro Conference on Real-Time Systems (ECRTS 2004), Catania, Italy (June 2004)"},{"key":"40_CR4","unstructured":"Blind Review"},{"key":"40_CR5","unstructured":"Godefroid, P.: Partial Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem. PhD Thesis, University of Liege (November 1994)"},{"issue":"1-2","key":"40_CR6","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K. Larsen","year":"1997","unstructured":"Larsen, K., Pettersson, P., Yi, W.: Uppaal in a Nutshell Int. Journal on Software Tools for Technology Transfer\u00a01(1-2), 134\u2013152 (1997)","journal-title":"Journal on Software Tools for Technology Transfer"},{"key":"40_CR7","unstructured":"Lipcoll, D., Lawrie, D., Sameh, A.: Eclipse Platform Technical Overview Object Technology International Inc. (July 2001)"},{"issue":"9","key":"40_CR8","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: Implicatons of a theoretical study. IEEE Transactions on Communications\u00a024(9), 1036\u20131043 (1976)","journal-title":"IEEE Transactions on Communications"},{"key":"40_CR9","unstructured":"Oliveira, M.N.: J\u00fanior Desenvolvimento de Um Prot\u00f3tipo para a Medida N\u00e3o Invasiva da Satura\u00e7\u00e3o Arterial de Oxig\u00eanio em Humanos - Ox\u00edmetro de Pulso. MSc Thesis, UFPE (August 1998) (in portuguese)"},{"key":"40_CR10","unstructured":"Mok, K.: Fundamental Design Problems of Distributed Systems for the Hard- Real-Time Environment. PhD Thesis, MIT (May 1983)"},{"issue":"3","key":"40_CR11","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(3), 360\u2013369 (1990)","journal-title":"IEEE Trans. Soft. Engineering"},{"issue":"19","key":"40_CR12","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/32.210308","volume":"1","author":"J. Xu","year":"1993","unstructured":"Xu, J., Parnas, D.: On satisfying timing constraints in hard real-time systems. IEEE Trans. Soft. Engineering\u00a01(19), 70\u201384 (1993)","journal-title":"IEEE Trans. Soft. Engineering"},{"key":"40_CR13","unstructured":"Wang, J., Ravindran, B., Martin, T.: A Power-Aware, Best-Effort Real-Time Task Scheduling Algorithm. In: IEEE Workshop on Software Technologies for Future Embedded Systems, May 2003, p. 21 (2003)"},{"key":"40_CR14","doi-asserted-by":"crossref","unstructured":"Weber, M., Kindler, E.: The Petri Net Markup Language. Petri net Technology Communication Systems. In: Advances in Petri Nets (2002)","DOI":"10.1007\/978-3-540-40022-6_7"}],"container-title":["Lecture Notes in Computer Science","Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11556930_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T03:35:13Z","timestamp":1740540913000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11556930_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540290131","9783540320807"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11556930_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}