Kyriakos proposed a Design by Contract (DbC) approach to specify and maintain architectural level properties of software. Such properties are typically relevant in the design phase of the development cycle but may also impact the execution of systems. In his research Kyriakos introduced a formal framework for specifying software architectures (and their refinements) together with contracts that architectural configurations abide by. In this framework, one can specify that if an architecture guarantees a given pre-condition and a refinement rule satisfies a given contract, then the refined architecture will enjoy a given post-condition.