FIT synthesis applied to an automatic bus steering problem | IEEE Conference Publication | IEEE Xplore