Formal Modelling of Goals in Agent Organizations.