Towards a More Expressive and Refinable Multiagent System Engineering Methodology