{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:47:55Z","timestamp":1725702475840},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340314"},{"type":"electronic","value":"9783642340321"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34032-1_11","type":"book-chapter","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T00:44:41Z","timestamp":1348620281000},"page":"78-79","source":"Crossref","is-referenced-by-count":0,"title":["Timing Constraints: Theory Meets Practice"],"prefix":"10.1007","author":[{"given":"Bj\u00f6rn","family":"Lisper","sequence":"first","affiliation":[]},{"given":"Johan","family":"Nordlander","sequence":"additional","affiliation":[]},{"given":"Sophie","family":"Quinton","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","series-title":"LNCS","first-page":"173","volume-title":"ISoLA 2012, Part II","author":"K. Birken","year":"2012","unstructured":"Birken, K.: Abstract Execution for Event-Driven Systems \u2013 An Application from Automotive\/Infotainment Development. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol.\u00a07610, pp. 173\u2013186. Springer, Heidelberg (2012)"},{"key":"11_CR2","series-title":"LNCS","first-page":"143","volume-title":"ISoLA 2012, Part II","author":"N. Ge","year":"2012","unstructured":"Ge, N., Pantel, M., Cr\u00e9gut, X.: Formal Specification and Verification of Task Time Constraints for Real-Time Systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol.\u00a07610, pp. 143\u2013157. Springer, Heidelberg (2012)"},{"key":"11_CR3","unstructured":"Johansson, R., Frey, P., Jonsson, J., Nordlander, J., Pathan, R.M., Feiertag, N., Schlager, M., Espinoza, H., Richter, K., Kuntz, S., L\u00f6nn, H., Kolagari, R.T., Blom, H.: TADL: Timing augmented description language, version 2. Technical report (October 2009)"},{"key":"11_CR4","series-title":"LNCS","first-page":"158","volume-title":"ISoLA 2012, Part II","author":"R. Kirner","year":"2012","unstructured":"Kirner, R.: The WCET Analysis Tool CalcWcet167. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol.\u00a07610, pp. 158\u2013172. Springer, Heidelberg (2012)"},{"key":"11_CR5","series-title":"LNCS","first-page":"80","volume-title":"ISoLA 2012, Part II","author":"B. Lisper","year":"2012","unstructured":"Lisper, B., Nordlander, J.: A Simple and Flexible Timing Constraint Logic. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol.\u00a07610, pp. 80\u201395. Springer, Heidelberg (2012)"},{"key":"11_CR6","series-title":"LNCS","first-page":"126","volume-title":"ISoLA 2012, Part II","author":"I. Ouranos","year":"2012","unstructured":"Ouranos, I., Ogata, K., Stefaneas, P.: Formal Analysis of TESLA Protocol in the Timed OTS\/CafeOBJ Method. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol.\u00a07610, pp. 126\u2013142. Springer, Heidelberg (2012)"},{"key":"11_CR7","series-title":"LNCS","first-page":"111","volume-title":"ISoLA 2012, Part II","author":"M.-A. Peraldi-Frati","year":"2012","unstructured":"Peraldi-Frati, M.-A., Goknil, A., Adedjouma, M., Gueguen, P.-Y.: Modeling a BSG-E Automotive System with the Timing Augmented Description Language. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol.\u00a07610, pp. 111\u2013125. Springer, Heidelberg (2012)"},{"key":"11_CR8","series-title":"LNCS","first-page":"96","volume-title":"ISoLA 2012, Part II","author":"S. Quinton","year":"2012","unstructured":"Quinton, S., Ernst, R.: Generalized Weakly-Hard Constraints. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol.\u00a07610, pp. 96\u2013100. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34032-1_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:41:32Z","timestamp":1620132092000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34032-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340314","9783642340321"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34032-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}