A partitioning technique for concurrent software design. - Jahangir Karimi; Craig Lee Carpenter (J. Syst. Softw., 1996)