Title: Formal Methods in Architecture