Peter Scholz Partitioning of perfect synchroneous reactive specifications to distributed processors using µ-charts. 13-25 2006 5 Software and System Modeling 1 http://dx.doi.org/10.1007/s10270-005-0094-1 db/journals/sosym/sosym5.html#Scholz06