Architecture validation system using assertion descriptions : users manual KollarCharles P. 2013 Computer Science Department