ObjectCheck: A Model Checking Tool for Executable Object-oriented Software System Designs
A Collaborative e-Science Architecture towards a Virtual Research Environment
A Tool for the Design and Verification of Composite Web Services