{"user_id":"52534","publisher":"Kluwer","place":"Dordrecht","citation":{"chicago":"Krupp, Alexander, Ola Lundkvist, Tim Schattkowsky, and Colin Snook. “Adaptive Cruise Controller Case Study.” In <i>UML-B System Specification for Proven Electronic Design</i>, edited by J.  Mermet. Dordrecht: Kluwer, 2004.","bibtex":"@inbook{Krupp_Lundkvist_Schattkowsky_Snook_2004, place={Dordrecht}, title={Adaptive Cruise Controller Case Study}, booktitle={UML-B System Specification for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and Lundkvist, Ola and Schattkowsky, Tim and Snook, Colin}, editor={Mermet, J. Editor}, year={2004} }","ama":"Krupp A, Lundkvist O, Schattkowsky T, Snook C. Adaptive Cruise Controller Case Study. In: Mermet J, ed. <i>UML-B System Specification for Proven Electronic Design</i>. Dordrecht: Kluwer; 2004.","short":"A. Krupp, O. Lundkvist, T. Schattkowsky, C. Snook, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004.","ieee":"A. Krupp, O. Lundkvist, T. Schattkowsky, and C. Snook, “Adaptive Cruise Controller Case Study,” in <i>UML-B System Specification for Proven Electronic Design</i>, J. Mermet, Ed. Dordrecht: Kluwer, 2004.","apa":"Krupp, A., Lundkvist, O., Schattkowsky, T., &#38; Snook, C. (2004). Adaptive Cruise Controller Case Study. In J. Mermet (Ed.), <i>UML-B System Specification for Proven Electronic Design</i>. Dordrecht: Kluwer.","mla":"Krupp, Alexander, et al. “Adaptive Cruise Controller Case Study.” <i>UML-B System Specification for Proven Electronic Design</i>, edited by J.  Mermet, Kluwer, 2004."},"department":[{"_id":"66"}],"abstract":[{"lang":"eng","text":"We present the adaptive cruise controller case study for B modelling and the model checking by RAVEN. Individual translations of B operations, data types, and invariants to the RAVEN Input Language are presented by the example of the case study."}],"editor":[{"last_name":"Mermet","full_name":"Mermet, J. ","first_name":"J. "}],"year":"2004","_id":"7533","language":[{"iso":"eng"}],"status":"public","author":[{"last_name":"Krupp","full_name":"Krupp, Alexander","first_name":"Alexander"},{"last_name":"Lundkvist","full_name":"Lundkvist, Ola","first_name":"Ola"},{"first_name":"Tim","last_name":"Schattkowsky","full_name":"Schattkowsky, Tim"},{"first_name":"Colin","full_name":"Snook, Colin","last_name":"Snook"}],"date_updated":"2022-01-06T07:03:39Z","title":"Adaptive Cruise Controller Case Study","date_created":"2019-02-05T12:10:31Z","publication":"UML-B System Specification for Proven Electronic Design","type":"book_chapter"}