Article Title,Year,Volume,Issue,Page Range,Author Project B-RAIL: Using the UML Notation and the B Method for the Modelization of a Level Crossing,2007,2,,33-50,Boulanger The Electrically-Assisted Bicycle,2007,5,,25-29,Klein