@article{Kollar2018, author = "Charles P. Kollar", title = "{Architecture validation system using assertion descriptions : users manual}", year = "2018", month = "6", url = "https://kilthub.cmu.edu/articles/journal_contribution/Architecture_validation_system_using_assertion_descriptions_users_manual/6603632", doi = "10.1184/R1/6603632.v1" }