Jérôme Kirscher, Michael Lenz, Dieter Metzner, Georg Pelz. Verification of an Automotive Headlight Leveling Circuit and Application Using Smart Component Property Extraction. In 2008 IEEE International Behavioral Modeling and Simulation Workshop, BMAS 2008, San Jose, CA, USA, September 25-26, 2008. pages 1-6, IEEE, 2008. [doi]
Abstract is missing.