Contact the publisher of this press release Cassbeth Paper on Automated Specification Analysis Accepted to INCOSE Spring 2009 Conference