Fuzzy branching temporal logic. - Seong-ick Moon; Kwang Hyung Lee; Doheon Lee (IEEE Trans. Syst. Man Cybern. Part B, 2004)