Mechatronic Design Automation by Zhun Fan