Formal transformation of a KPN specification to a GALS implementation | IEEE Conference Publication | IEEE Xplore