西门子SIMATIC 系列的冗余自动化系统手册。