Manufacturing algebra. Part I: Modeling principles and case study | IEEE Conference Publication | IEEE Xplore