Alessandro Pinto

• Languages and tools for hybrid systems design