The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems

Publication
Int. J. Softw. Tools Technol. Transf.