The Asylum David Cunningham A reimplementation of the ADM The Asylum is an Empirical Modelling environment based on the principles of the Abstract Definitive Machine (ADM). [Ant] 2004 4 asylumCunningham2004 software 3YP ADM architecture.gif tool YES