N-ATL and ATL-G, Two Approaches for Goal Specification in Advanced Distributed Computing Systems | IEEE Conference Publication | IEEE Xplore