Return to Article Details Efficient detection of strongly connected components for the causalization of large object oriented models Download Download PDF