formal architectural modeling Author Keyword