Article: Mark ATL Control as a Safe Control