A type synthesis method for hybrid robot structures
scientific article; zbMATH DE number 5303735