On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study In Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 0ICEIS, 115-117, 2005 , Miami, United States