Fault Detectability Analysis of Switched Affine Systems with Linear Temporal Logic Constraints | IEEE Conference Publication | IEEE Xplore