CPS-based hierarchical and self-similar automation architecture for the control and verification of reconfigurable manufacturing systems | IEEE Conference Publication | IEEE Xplore