Selected papers from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages