Formal verification of a domain specific language for run-time adaptation | IEEE Conference Publication | IEEE Xplore