Describir: Diagnosability in Switched Linear Systems