A Hybrid Event-B Study of Lane Centering

by Richard Banach , Michael Butler