{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T00:13:35Z","timestamp":1649117615140},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2007,9,12]],"date-time":"2007-09-12T00:00:00Z","timestamp":1189555200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2007,9,14]]},"DOI":"10.1007\/s11241-007-9031-4","type":"journal-article","created":{"date-parts":[[2007,9,11]],"date-time":"2007-09-11T15:26:22Z","timestamp":1189524382000},"page":"139-179","source":"Crossref","is-referenced-by-count":2,"title":["Cost enforcement in the real-time specification for Java"],"prefix":"10.1007","volume":"37","author":[{"given":"Osmar Marchi","family":"dos Santos","sequence":"first","affiliation":[]},{"given":"Andy","family":"Wellings","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,9,12]]},"reference":[{"issue":"2","key":"9031_CR1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183\u2013235","journal-title":"Theor Comput Sci"},{"issue":"3","key":"9031_CR2","first-page":"1","volume":"26","author":"J Barnes","year":"2005","unstructured":"Barnes J (2005) Rationale for Ada 2005: 4 tasking and real-time. Ada User J 26(3):1\u201317","journal-title":"Ada User J"},{"key":"9031_CR3","series-title":"LNCS","first-page":"200","volume-title":"4th international school on formal methods for the design of computer, communication, and software systems","author":"G Behrmann","year":"2004","unstructured":"Behrmann G, David A, Larsen KG (2004) A tutorial on UPPAAL. In: 4th international school on formal methods for the design of computer, communication, and software systems. LNCS, vol 3185. Springer, Italy, pp 200\u2013236"},{"key":"9031_CR4","unstructured":"Belliardi R et\u00a0al. (2006) The real-time specification for Java \u2013 Version 1.0.2. http:\/\/www.rtsj.org\/specjavadoc\/book_index.html"},{"key":"9031_CR5","volume-title":"The real-time specification for Java \u2013 Version 1.0","author":"G Bollella","year":"2000","unstructured":"Bollella G et al. (2000) The real-time specification for Java \u2013 Version 1.0. Addison-Wesley, USA"},{"issue":"4","key":"9031_CR6","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1145\/340396.340450","volume":"XIX","author":"A Burns","year":"1999","unstructured":"Burns A (1999) The Ravenscar profile. ACM SIGAda Ada Lett XIX(4):49\u201352","journal-title":"ACM SIGAda Ada Lett"},{"key":"9031_CR7","volume-title":"Concurrent and real-time programming in ada","author":"A Burns","year":"2007","unstructured":"Burns A, Wellings A (2007) Concurrent and real-time programming in ada. Cambridge University Press, UK"},{"key":"9031_CR8","volume-title":"Model checking","author":"EM Clarke","year":"2000","unstructured":"Clarke EM, Grumberg O, Peled DA (2000) Model checking. MIT, USA"},{"key":"9031_CR9","doi-asserted-by":"crossref","unstructured":"Fowler S, Wellings AJ (1997) Formal development of a real-time kernel. In: 18th IEEE real-time systems symposium. IEEE CS Press, USA, pp 220\u2013229","DOI":"10.1109\/REAL.1997.641284"},{"issue":"5","key":"9031_CR10","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"GJ Holzmann","year":"1997","unstructured":"Holzmann GJ (1997) The model checker SPIN. IEEE Trans Softw Eng 23(5):279\u2013295","journal-title":"IEEE Trans Softw Eng"},{"issue":"9","key":"9031_CR11","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","volume":"12","author":"F Jahanian","year":"1986","unstructured":"Jahanian F, Mok AK (1986) Safety analysis of timing properties in real-time systems. IEEE Trans Softw Eng 12(9):890\u2013904","journal-title":"IEEE Trans Softw Eng"},{"key":"9031_CR12","unstructured":"JRate (March 2007) Java real-time extension. http:\/\/jrate.sourceforge.net\/"},{"key":"9031_CR13","unstructured":"JSR-282 Expert Group (2006) SI 1.4: supporting sporadic and aperiodic releases in real-time threads. http:\/\/jcp.org\/en\/jsr\/detail?id=282"},{"issue":"12","key":"9031_CR14","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen KG, Pettersson P, Yi W (1997) UPPAAL in a nutshell. Int J Softw Tools Technol Trans 1(12):134\u2013152","journal-title":"Int J Softw Tools Technol Trans"},{"key":"9031_CR15","volume-title":"11th real-time systems symposium","author":"JP Lehoczky","year":"1990","unstructured":"Lehoczky JP (1990) Fixed priority scheduling of periodic task sets with arbitrary deadlines. In 11th real-time systems symposium, IEEE CS Press, USA, pp 201\u2013209"},{"issue":"1","key":"9031_CR16","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1023\/A:1021701221847","volume":"24","author":"K Lundqvist","year":"2003","unstructured":"Lundqvist K, Asplund L (2003) A Ravenscar-compliant run-time kernel for safety-critical systems. Real-Time Systems 24(1):29\u201354","journal-title":"Real-Time Systems"},{"key":"9031_CR17","unstructured":"OVM\/J Consortium (March 2007) OVM Project. http:\/\/www.ovmj.org\/"},{"key":"9031_CR18","series-title":"LNCS","first-page":"748","volume-title":"11th international conference on automated deduction","author":"S Owre","year":"1992","unstructured":"Owre S, Rushby JM, Shankar N (1992) PVS: A prototype verification system. In: 11th international conference on automated deduction. LNCS, vol 607. Springer, USA, pp 748\u2013752"},{"issue":"2","key":"9031_CR19","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s10703-005-1490-4","volume":"26","author":"J Penix","year":"2005","unstructured":"Penix J et al. (2005) Verifying time partitioning in the DEOS scheduling kernel. Formal Methods Syst Des 26(2):103\u2013135","journal-title":"Formal Methods Syst Des"},{"key":"9031_CR20","unstructured":"POSIX. 13 (1998) IEEE standard for information technology \u2013 Standardized application environment profile \u2013 POSIX(R) realtime application support (AEP). IEEE Std. 1003.13-1998"},{"key":"9031_CR21","first-page":"177","volume-title":"18th IEEE real-time systems symposium","author":"OM Santos","year":"2005","unstructured":"Santos OM, Wellings A (2005) Cost monitoring and enforcement in the real-time specification for Java \u2013 A formal evaluation. In: 18th IEEE real-time systems symposium. IEEE CS Press, USA, pp 177\u2013186"},{"key":"9031_CR22","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1145\/1167999.1168004","volume-title":"4th international workshop on Java technologies for real-time and embedded systems","author":"OM Santos","year":"2006","unstructured":"Santos OM, Wellings A (2006) Formal analysis of aperiodic and sporadic real-time threads in the RTSJ. In: 4th international workshop on Java technologies for real-time and embedded systems. ACM Press, France, pp 10\u201319"},{"issue":"5","key":"9031_CR23","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1109\/52.57889","volume":"7","author":"JM Spivey","year":"1990","unstructured":"Spivey JM (1990) Specifying a real-time kernel. IEEE Softw 7(5):21\u201328","journal-title":"IEEE Softw"},{"key":"9031_CR24","volume-title":"The Z notation: A reference manual","author":"JM Spivey","year":"1992","unstructured":"Spivey JM (1992) The Z notation: A reference manual. Prentice Hall, UK"},{"key":"9031_CR25","unstructured":"Timesys Inc. (March 2007) The Java reference implementation. http:\/\/www.timesys.com\/java\/"},{"issue":"2","key":"9031_CR26","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF01088593","volume":"6","author":"K Tindell","year":"1994","unstructured":"Tindell K, Burns A, Wellings A (1994) An extendible approach for analyzing fixed priority hard real-time tasks. Real-Time Syst 6(2):133\u2013151","journal-title":"Real-Time Syst"},{"key":"9031_CR27","first-page":"78","volume-title":"7th IEEE international symposium on object-oriented real-time distributed computing","author":"AJ Wellings","year":"2004","unstructured":"Wellings AJ et al. (2004) Cost enforcement and deadline monitoring in the real-time specification for Java. In: 7th IEEE international symposium on object-oriented real-time distributed computing. IEEE CS Press, Austria, pp 78\u201385"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-007-9031-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-007-9031-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-007-9031-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,23]],"date-time":"2021-08-23T07:28:55Z","timestamp":1629703735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-007-9031-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,12]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,9,14]]}},"alternative-id":["9031"],"URL":"https:\/\/doi.org\/10.1007\/s11241-007-9031-4","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,9,12]]}}}