M4SONIC and DIMATIK