K. Suzanne Barber, Thomas J. Graser, Jim Holt. Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures. In 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA. pages 341-345, IEEE Computer Society, 2001. [doi]
Abstract is missing.