J. Christian Attiogbé: Can Component/Service-Based Systems Be Proved Correct?. SOFSEM 2009: 3-18