ATL for Com