{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:42:15Z","timestamp":1750308135709,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"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.1081185","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T17:34:39Z","timestamp":1131384879000},"page":"27-34","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Flush"],"prefix":"10.1145","author":[{"given":"Jan","family":"Mik\u00e1\u010d","sequence":"first","affiliation":[{"name":"Laboratoire Verimag (CNRS, UJF, INPG), France"}]},{"given":"Paul","family":"Caspi","sequence":"additional","affiliation":[{"name":"Laboratoire Verimag (CNRS, UJF, INPG), France"}]}],"member":"320","published-online":{"date-parts":[[2005,9,5]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"SAE WorldCongress","author":"Buhlmann M.","year":"2004","unstructured":"M. Buhlmann . A. Kr\u00fcger , D. Kant . Software development process and software-components for x-by-wire systems . In SAE WorldCongress , Detroit, MI, USA , March 2004 .]] M. Buhlmann. A. Kr\u00fcger, D. Kant. Software development process and software-components for x-by-wire systems. In SAE WorldCongress, Detroit, MI, USA, March 2004.]]"},{"key":"e_1_3_2_1_2_1","volume-title":"The B-Book","author":"Abrial J.-R.","year":"1995","unstructured":"J.-R. Abrial . The B-Book . Cambridge University Press , 1995 .]] J.-R. Abrial. The B-Book. Cambridge University Press, 1995.]]"},{"key":"e_1_3_2_1_3_1","volume-title":"Conference given at Inria Rh\u00f4ne-Alpes","author":"Abrial J.R.","year":"1999","unstructured":"J.R. Abrial . B : A formalism for complete correct system development . Conference given at Inria Rh\u00f4ne-Alpes , October 1999 .]] J.R. Abrial. B: A formalism for complete correct system development. Conference given at Inria Rh\u00f4ne-Alpes, October 1999.]]"},{"key":"e_1_3_2_1_4_1","series-title":"Lecture Notes in Computer Science","volume-title":"M\u00e9t\u00e9or : An industrial success in formal development","author":"Behm P.","year":"1998","unstructured":"P. Behm , P. Desforges , and J.M. Meynadier . M\u00e9t\u00e9or : An industrial success in formal development . In D. Bert, editor, B'98: Recent Advances in the Development and Use of the B Method, volume 1393 of Lecture Notes in Computer Science . Springer , 1998 .]] P. Behm, P. Desforges, and J.M. Meynadier. M\u00e9t\u00e9or : An industrial success in formal development. In D. Bert, editor, B'98: Recent Advances in the Development and Use of the B Method, volume 1393 of Lecture Notes in Computer Science. Springer, 1998.]]"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)54524-3"},{"key":"e_1_3_2_1_6_1","volume-title":"Avionics Conference and Exhibition","author":"Bri\u00e8re D.","year":"1994","unstructured":"D. Bri\u00e8re , D. Ribot , D. Pilaud , and J.L. Camus . Methods and specification tools for Airbus on-board systems . In Avionics Conference and Exhibition , London , December 1994 . ERA Technology.]] D. Bri\u00e8re, D. Ribot, D. Pilaud, and J.L. Camus. Methods and specification tools for Airbus on-board systems. In Avionics Conference and Exhibition, London, December 1994. ERA Technology.]]"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/780732.780754"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/232627.232651"},{"key":"e_1_3_2_1_9_1","volume-title":"Type-based initialisation analysis of a synchronous data-flow language","author":"Cola\u00e7o J.-L.","year":"2002","unstructured":"J.-L. Cola\u00e7o and M. Pouzet . Type-based initialisation analysis of a synchronous data-flow language . In F.Maraninchi, editor, SLAP02, volume 65 .5 of Electronic Notes in Theoretical Computer Science. Elsevier Science B. V. , April 2002 .]] J.-L. Cola\u00e7o and M. Pouzet. Type-based initialisation analysis of a synchronous data-flow language. In F.Maraninchi, editor, SLAP02, volume 65.5 of Electronic Notes in Theoretical Computer Science. Elsevier Science B. V., April 2002.]]"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44404-1_12"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_1_12_1","volume-title":"Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93","author":"Halbwachs N.","year":"1993","unstructured":"N. Halbwachs , F. Lagnier , and P. Raymond . Synchronous observers and the verification of reactive systems. In M. Nivat, C. Rattray, T. Rus, and G. Scollo, editors , Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93 , Twente , June 1993 . Workshops in Computing, Springer Verlag.]] N. Halbwachs, F. Lagnier, and P. Raymond. Synchronous observers and the verification of reactive systems. In M. Nivat, C. Rattray, T. Rus, and G. Scollo, editors, Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93, Twente, June 1993. Workshops in Computing, Springer Verlag.]]"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/647168.718127"},{"key":"e_1_3_2_1_14_1","volume-title":"Slap'05, Electronic Notes in Theoretical Computer Science","author":"Mik\u00e1\u010d J.","year":"2005","unstructured":"J. Mik\u00e1\u010d and P. Caspi . Temporal refinement in Lustre . In Slap'05, Electronic Notes in Theoretical Computer Science . Elsevier , 2005 . to appear.]] J.Mik\u00e1\u010d and P.Caspi. Temporal refinement in Lustre. In Slap'05, Electronic Notes in Theoretical Computer Science. Elsevier, 2005. to appear.]]"},{"key":"e_1_3_2_1_15_1","volume-title":"Systematic Software Development using VDM","author":"Jones C. B.","year":"1990","unstructured":"C. B. Jones . Systematic Software Development using VDM . Prentice Hall International , 1990 .]] C. B. Jones. Systematic Software Development using VDM. Prentice Hall International, 1990.]]"},{"key":"e_1_3_2_1_16_1","volume-title":"First International Conference on Computer Application in Transportation Systems","author":"LeGoff G.","year":"1996","unstructured":"G. LeGoff . Using synchronous languages for interlocking . In First International Conference on Computer Application in Transportation Systems , 1996 .]] G. LeGoff. Using synchronous languages for interlocking. In First International Conference on Computer Application in Transportation Systems, 1996.]]"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017795"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/648230.752639"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008725524946"},{"key":"e_1_3_2_1_21_1","volume-title":"A specification language and its formal semantics","author":"Spivey J.M.","year":"1988","unstructured":"J.M. Spivey . Understanding Z : A specification language and its formal semantics . Cambridge University Press , 1988 .]] J.M. Spivey. Understanding Z: A specification language and its formal semantics. Cambridge University Press, 1988.]]"}],"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.1081185","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1081180.1081185","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.1081185"}},"subtitle":["a system development tool based on scade\/lustre"],"short-title":[],"issued":{"date-parts":[[2005,9,5]]},"references-count":21,"alternative-id":["10.1145\/1081180.1081185","10.1145\/1081180"],"URL":"https:\/\/doi.org\/10.1145\/1081180.1081185","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"}}]}}