atl2nmfs Is a higher-order transformation (HOT) that transforms an ATL transformation into a NMF Synchronizations synchronization.