Heinz Jürgen Müller Towards Agent Systems Engineering. 217-245 1997 23 Data Knowl. Eng. 3 db/journals/dke/dke23.html#Muller97 http://dx.doi.org/10.1016/S0169-023X(97)00013-X