Formal resource and capability descriptions supporting rapid reconfiguration of assembly systems | IEEE Conference Publication | IEEE Xplore