Lazy Parallel Synchronous Composition of In finite Transition Systems