{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:12Z","timestamp":1761611172262,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,5]],"date-time":"2005-09-05T00:00:00Z","timestamp":1125878400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,9,5]]},"DOI":"10.1145\/1081180.1081195","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T17:34:39Z","timestamp":1131384879000},"page":"115-124","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["An approach to the pervasive formal specification and verification of an automotive system"],"prefix":"10.1145","author":[{"given":"Tom","family":"In der Rieden","sequence":"first","affiliation":[{"name":"Saarland University, Saarbr\u00fccken, Germany"}]},{"given":"Steffen","family":"Knapp","sequence":"additional","affiliation":[{"name":"Saarland University, Saarbr\u00fccken, Germany"}]}],"member":"320","published-online":{"date-parts":[[2005,9,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"AbsInt Angewandte Informatik GmbH. aiT Worst-Case Execution Time Analyzers. http:\/\/www.absint.de\/ait\/.  AbsInt Angewandte Informatik GmbH. aiT Worst-Case Execution Time Analyzers. http:\/\/www.absint.de\/ait\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/83471.83475"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-006-0204-6"},{"volume-title":"CAR - Center of Automotive Research","year":"2002","author":"Dudenhoffer F.","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","unstructured":"eSafety. eCall Project. http:\/\/europa.eu.int\/information_society\/activities\/esafety\/doc\/esafety_2005\/high_level_mtg_3_feb\/e_call.pdf 2004.  eSafety. eCall Project. http:\/\/europa.eu.int\/information_society\/activities\/esafety\/doc\/esafety_2005\/high_level_mtg_3_feb\/e_call.pdf 2004."},{"key":"e_1_3_2_1_8_1","unstructured":"EU Commission. eSafety EU Commission Initiative. http:\/\/europa.eu.int\/information_society\/activities\/esafety\/index_en.htm 2004.  EU Commission. eSafety EU Commission Initiative. http:\/\/europa.eu.int\/information_society\/activities\/esafety\/index_en.htm 2004."},{"key":"e_1_3_2_1_9_1","unstructured":"FlexRay Consortium. FlexRay. http:\/\/www.flexray.com\/.  FlexRay Consortium. FlexRay. http:\/\/www.flexray.com\/."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11541868_1"},{"key":"e_1_3_2_1_11_1","unstructured":"A. Grzemba. LIN-Bus - Die Technologie. Elektronik Automotive April 2003.  A. Grzemba. LIN-Bus - Die Technologie. Elektronik Automotive April 2003."},{"key":"e_1_3_2_1_12_1","unstructured":"J. L. Hennessy and D. A. Patterson. Computer Architecture: A Quantitative Approach. Morgan Kaufmann San Mateo CA second edition 1996.   J. L. Hennessy and D. A. Patterson. Computer Architecture: A Quantitative Approach. Morgan Kaufmann San Mateo CA second edition 1996."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2005.42"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2005.51"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/647767.733764"},{"volume-title":"Springer","year":"2000","author":"M\u00fcller S. M.","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","first-page":"161","volume-title":"10th Colloquium of UNU\/IIST '02","author":"Moore J S.","year":"2003"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"T.\n       \n      Nipkow L. C.\n       \n      Paulson and \n      \n      \n      M.\n       \n      Wenzel\n      \n  \n  . \n  Isabelle\/HOL: A Proof Assistant for Higher-Order Logic volume \n  2283\n   of \n  LNCS\n  . \n  Springer 2002\n  .   T. Nipkow L. C. Paulson and M. Wenzel. Isabelle\/HOL: A Proof Assistant for Higher-Order Logic volume 2283 of LNCS. Springer 2002.","DOI":"10.1007\/3-540-45949-9"},{"key":"e_1_3_2_1_19_1","unstructured":"The Motor Industry Software Reliability Association (MISRA). MISRA-C:2004 Guidelines for the use of the C language in critical systems. Motor Industry Research Association (MIRA) Ltd. UK 2004.  The Motor Industry Software Reliability Association (MISRA). MISRA-C:2004 Guidelines for the use of the C language in critical systems. Motor Industry Research Association (MIRA) Ltd. UK 2004."},{"key":"e_1_3_2_1_21_1","unstructured":"OSEK group. OSEK\/VDX time-triggered operating system. http:\/\/www.osek-vdx.org\/mirror\/ttos10.pdf 2001.  OSEK group. OSEK\/VDX time-triggered operating system. http:\/\/www.osek-vdx.org\/mirror\/ttos10.pdf 2001."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"S.\n       \n      Owre J. M.\n       \n      Rushby and \n      \n      \n      N.\n       \n      Shankar\n      \n  \n  . \n  PVS: A prototype verification system. In D. Kapur editor 11th International Conference on Automated Deduction (CADE) volume \n  607\n   of \n  Lecture Notes in Artificial Intelligence pages \n  748\n  --\n  752 Saratoga NY jun \n  1992\n  . \n  Springer-Verlag\n  .   S. Owre J. M. Rushby and N. Shankar. PVS: A prototype verification system. In D. Kapur editor 11th International Conference on Automated Deduction (CADE) volume 607 of Lecture Notes in Artificial Intelligence pages 748--752 Saratoga NY jun 1992. Springer-Verlag.","DOI":"10.1007\/3-540-55602-8_217"},{"key":"e_1_3_2_1_23_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/3-540-45739-9_7","volume-title":"W. Damm and E.-R","author":"Rushby J.","year":"2002"},{"volume-title":"J.-Y","year":"1999","author":"Scheidler C.","key":"e_1_3_2_1_24_1"},{"key":"e_1_3_2_1_25_1","unstructured":"The Verifix Consortium. The Verifix Project. http:\/\/www.info.uni-karlsruhe.de\/~verifix\/ 1995 --- 1999.  The Verifix Consortium. The Verifix Project. http:\/\/www.info.uni-karlsruhe.de\/~verifix\/ 1995 --- 1999."},{"key":"e_1_3_2_1_26_1","unstructured":"The Verisoft Consortium. The Verisoft project. http:\/\/www.verisoft.de\/ 2003.  The Verisoft Consortium. The Verisoft project. http:\/\/www.verisoft.de\/ 2003."},{"key":"e_1_3_2_1_27_1","unstructured":"The Verisoft Consortium. Subproject 6: Automotive system. http:\/\/www.verisoft.de\/SubProject6.html 2004.  The Verisoft Consortium. Subproject 6: Automotive system. http:\/\/www.verisoft.de\/SubProject6.html 2004."},{"key":"e_1_3_2_1_28_1","unstructured":"TU M\u00fcnchen. AutoFOCUS Website. http:\/\/autofocus.informatik.tu-muenchen.de\/ 1997.  TU M\u00fcnchen. AutoFOCUS Website. http:\/\/autofocus.informatik.tu-muenchen.de\/ 1997."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337331"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90043-0"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/938437.938797"}],"event":{"name":"FMICS05: Tenth International Workshop on Formal Methods in Industrial Criticial Systems 2005","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Lisbon Portugal","acronym":"FMICS05"},"container-title":["Proceedings of the 10th international workshop on Formal methods for industrial critical systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1081180.1081195","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1081180.1081195","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:33Z","timestamp":1750262913000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1081180.1081195"}},"subtitle":["status report"],"short-title":[],"issued":{"date-parts":[[2005,9,5]]},"references-count":28,"alternative-id":["10.1145\/1081180.1081195","10.1145\/1081180"],"URL":"https:\/\/doi.org\/10.1145\/1081180.1081195","relation":{},"subject":[],"published":{"date-parts":[[2005,9,5]]},"assertion":[{"value":"2005-09-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}