Towards Guarantees For Adaptive Embedded Systems In Uncertain Environments