Collaborative Design of Fault Diagnosis and Fault Tolerance Control Under Nested Signal Temporal Logic Specifications | IEEE Journals & Magazine | IEEE Xplore