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