5.1.2 Abstraction in Machine Design