Towards Verifying Global Properties of Adaptive Software Based on Linear Temporal Logic | IEEE Conference Publication | IEEE Xplore