n-Modular Redundant Real-Time Middleware: Design and Implementation Academic Article uri icon