Title: Object-oriented modelling and analysis of a Marine Corps communications architecture