{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T19:08:04Z","timestamp":1759777684698},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540457626"},{"type":"electronic","value":"9783540457633"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11875567_27","type":"book-chapter","created":{"date-parts":[[2006,9,22]],"date-time":"2006-09-22T09:25:27Z","timestamp":1158917127000},"page":"358-371","source":"Crossref","is-referenced-by-count":3,"title":["Checking SCADE Models for Correct Usage of Physical Units"],"prefix":"10.1007","author":[{"given":"Rupert","family":"Schlick","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Herzner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry","family":"Le Sergent","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"Antoniu, T., Steckler, P., Krishnamurthi, S., et al.: Validating the unit correctness of spreadsheet programs. In: ICSE 2004, Proceedings of the 26th International Conference on Software Engineering, Edinburgh, Scotland, May 26\u201328, pp. 439\u2013448 (2004)","DOI":"10.1109\/ICSE.2004.1317466"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"Bouali, A., Dion, B., Konishi, K.: Using Formal Verification in Real-Time Embedded Software Development. Japan SAE, Yokohama (2005)","DOI":"10.4271\/2005-08-0319"},{"key":"27_CR3","unstructured":"Brown, W.E.: Applied template meta-programming in SIunits: the library of unit-based computation. In: Proceedings of the Second Workshop on C++ Template Programming, Tampa Bay, FL, USA (October 14, 2001)"},{"key":"27_CR4","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/1039991.1039994","volume":"2","author":"R. Cunis","year":"1992","unstructured":"Cunis, R.: A package for handling units of measure in Lisp. SIGPLAN Lisp Pointers\u00a02, 21\u201325 (1992)","journal-title":"SIGPLAN Lisp Pointers"},{"key":"27_CR5","unstructured":"Dion, B., Gartner, J.: Efficient Development of Embedded Automotive Software with IEC 61508 Objectives using SCADE Drive"},{"key":"27_CR6","unstructured":"DO-178B: Software Considerations in Airborne Systems and Equipment Certification, RTCA\/EUROCAE (1992)"},{"key":"27_CR7","volume-title":"Annotation-less Unit Type Inference for C. Final Project, 6.883: Program Analysis, CSAIL","author":"P. Guo","year":"2005","unstructured":"Guo, P., McCamant, S.: Annotation-less Unit Type Inference for C. Final Project, 6.883: Program Analysis, CSAIL. MIT, Cambridge (2005)"},{"issue":"9","key":"27_CR8","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language lustre. Proceedings of the IEEE\u00a079(9), 1305\u20131320 (1991)","journal-title":"Proceedings of the IEEE"},{"issue":"2","key":"27_CR9","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1145\/42190.42346","volume":"10","author":"P.N. Hilfinger","year":"1988","unstructured":"Hilfinger, P.N.: An Ada package for dimensional analysis. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a010(2), 189\u2013203 (1988)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"issue":"5","key":"27_CR10","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/359488.359501","volume":"21","author":"M. Karr","year":"1978","unstructured":"Karr, M., Loveman, D.B.: Incorporation of units into programming languages. Commun. ACM\u00a021(5), 385\u2013391 (1978)","journal-title":"Commun. ACM"},{"key":"27_CR11","unstructured":"Mars Climate Orbiter Mishap Investigation Board. Phase I report (November 1999)"},{"key":"27_CR12","doi-asserted-by":"publisher","first-page":"1067","DOI":"10.1002\/spe.401","volume":"31","author":"G.W. Petty","year":"2001","unstructured":"Petty, G.W.: Automated computation and consistency checking of physical dimensions and units in scientific programs. Software - Practice and Experience\u00a031, 1067\u20131076 (2001)","journal-title":"Software - Practice and Experience"},{"key":"27_CR13","unstructured":"SCADE Suite Technical and User Manuals, Version 5.0.1, Esterel Technologies (June 2005)"},{"key":"27_CR14","unstructured":"Syst\u00e8me International d\u2019Unit\u00e9s, http:\/\/www.bipm.fr\/en\/si\/"},{"key":"27_CR15","doi-asserted-by":"crossref","unstructured":"Siano, D.: Orientational Analysis - A Supplement to Dimensional Analysis - I, vol. (320), p. 267, J. Franklin Institute (1985)","DOI":"10.1016\/0016-0032(85)90031-6"},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"Siano, D.: Orientational Analysis, Tensor Analysis and The Group Properties of the SI Supplementary Units - II, vol. (320), p. 285, J. Franklin Institute (1985)","DOI":"10.1016\/0016-0032(85)90032-8"},{"key":"27_CR17","unstructured":"Using Simulink, Version 6, The MathWorks (2005)"},{"issue":"9","key":"27_CR18","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1145\/185009.185036","volume":"29","author":"Z.D. Umrigar","year":"1994","unstructured":"Umrigar, Z.D.: Fully static dimensional analysis with C++. SIGPLAN Not.\u00a029(9), 135\u2013139 (1994)","journal-title":"SIGPLAN Not."}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11875567_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T04:39:03Z","timestamp":1555821543000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11875567_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540457626","9783540457633"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11875567_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}