Fairness of transitions in diagnosability analysis of hybrid systems. - Santosh Biswas; Chandan Karfa; Himani Kanwar; Dipankar Sarkar 001; Siddhartha Mukhopadhyay; Amit Patra (ACC, 2006)