Kurt Lichtner Paulo S. C. Alencar Donald D. Cowan A Framework for Software Architecture Verification. 149-158 2000 conf/aswec/2000 Australian Software Engineering Conference http://doi.ieeecomputersociety.org/10.1109/ASWEC.2000.844572 db/conf/aswec/aswec2000.html#LichtnerAC00