Text this: Standby redundant control using Erlang/OTP and JADE for a manufacturing cell.