Alternating-time dynamic logic | Publicación