Interpreted Systems and ATL Logics | IEEE Conference Publication | IEEE Xplore