SeCo tools - Architectural and Implementational Issues