An Approach to Diagnosability Analysis for Interacting Finite State Systems