An integrated approach for specification and design of automated production systems | IEEE Conference Publication | IEEE Xplore