Specification and control synthesis for networked vehicle systems - J. Borges de Sousa (2003)