The Model-based Security Toolkit - SecKit, coming soon...