A Model-Based Approach to the Verification and Adaptation of WF/.NET Components | Publicación