Towards An Assume-Guarantee Theory for Adaptable Systems