Bounded-response-time self-stabilizing OPS5 production systems | IEEE Conference Publication | IEEE Xplore