Roberto PasseroneBooksContracts for System DesignLanguages and tools for hybrid systems designPlatform-Based DesignAuthor data: Open Library