An industrial case study on an architectural assumption documentation framework