{"citation":{"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.","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.","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.","short":"A. Krupp, O. Lundkvist, T. Schattkowsky, C. Snook, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 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} }","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.","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."},"place":"Dordrecht","year":"2004","title":"Adaptive Cruise Controller Case Study","author":[{"first_name":"Alexander","full_name":"Krupp, Alexander","last_name":"Krupp"},{"last_name":"Lundkvist","full_name":"Lundkvist, Ola","first_name":"Ola"},{"last_name":"Schattkowsky","full_name":"Schattkowsky, Tim","first_name":"Tim"},{"first_name":"Colin","full_name":"Snook, Colin","last_name":"Snook"}],"date_created":"2019-02-05T12:10:31Z","publisher":"Kluwer","date_updated":"2022-01-06T07:03:39Z","status":"public","editor":[{"full_name":"Mermet, J. ","last_name":"Mermet","first_name":"J. "}],"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."}],"publication":"UML-B System Specification for Proven Electronic Design","type":"book_chapter","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"7533"}