Exploiting Partitioned Transition Relations for Efficient Symbolic Model Checking in CTL. - Ales Casar; Zmago Brezocnik; Tatjana Kapus (ED&TC, 1996)