publication venue for Theory and methodology of assumption/commitment based system interface specification and architectural contracts. 52:33-87. 2017