An Event-B Model of an Automotive Adaptive Exterior Light System

• Paper submitted to the international STTT journal (Pdf paper)
• The Event-B model sources(zip file)