PPT Slide
A finite model M is strongly connected if every single state in M can be reached from all other states in a finite number of steps.
then for all s, t Î S it must hold that t can be reached from s directly or via a finite number of other steps.