High-availability automation systems