Alexander Artikis Jeremy V. Pitt Specifying Open Agent Systems: A Survey. 29-45 2008 ESAW http://dx.doi.org/10.1007/978-3-642-02562-4_2 conf/esaw/2008 db/conf/esaw/esaw2008.html#ArtikisP08