Verification and Adaptation of WF/.NET Components