"David Harel compares models that can't be executed to cars without engines. One important advantage of executable models is that they provide early direct experience with the system being designed. The intuition gained through experimentation is the difference between mere formal knowledge and understanding."