{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:47:54Z","timestamp":1725702474288},"publisher-location":"Berlin, Heidelberg","reference-count":7,"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_14","type":"book-chapter","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T00:44:41Z","timestamp":1348620281000},"page":"111-125","source":"Crossref","is-referenced-by-count":2,"title":["Modeling a BSG-E Automotive System with the Timing Augmented Description Language"],"prefix":"10.1007","author":[{"given":"Marie-Agn\u00e8s","family":"Peraldi-Frati","sequence":"first","affiliation":[]},{"given":"Arda","family":"Goknil","sequence":"additional","affiliation":[]},{"given":"Morayo","family":"Adedjouma","sequence":"additional","affiliation":[]},{"given":"Pierre Yves","family":"Gueguen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"The ITEA TIMMO-2-USE Project, http:\/\/timmo-2-use.org\/"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/11925040_8","volume-title":"Leveraging Applications of Formal Methods","author":"P.A. Abdulla","year":"2006","unstructured":"Abdulla, P.A., Deneux, J., St\u00e5lmarck, G., \u00c5gren, H., \u00c5kerlund, O.: Designing Safe, Reliable Systems Using Scade. In: Margaria, T., Steffen, B. (eds.) ISoLA 2004. LNCS, vol.\u00a04313, pp. 115\u2013129. Springer, Heidelberg (2006)"},{"key":"14_CR3","unstructured":"AUTOSAR AUTomotive Open System Architecture, http:\/\/www.autosar.org"},{"key":"14_CR4","unstructured":"DeAntoni, J., Mallet, F., Andr\u00e9, C.: TimeSquare: on the formal execution of UML and DSL models. Tool Session of the 4th Model Driven Development for Distributed Real Time Systems (2008)"},{"key":"14_CR5","unstructured":"EAST-ADL Language Specification, http:\/\/www.atesst.org\/home\/liblocal\/docs\/ATESST2_D4.1.1_EAST-ADL2-Specification_2010-06-02.pdf"},{"issue":"3","key":"14_CR6","first-page":"309","volume":"4","author":"F. Mallet","year":"2008","unstructured":"Mallet, F., Andr\u00e9, C., de Simone, R.: CCSL: Specifying Clock Constraints with UML\/Marte. ISSE\u00a04(3), 309\u2013314 (2008)","journal-title":"ISSE"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Peraldi-Frati, M.-A., Goknil, A., Deantoni, J., Nordlander, J.: A Timing Language for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language. In: ICECCS 2012, Paris, France (2012)","DOI":"10.1109\/ICECCS20050.2012.6299218"}],"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_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:41:33Z","timestamp":1620132093000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34032-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340314","9783642340321"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34032-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}