XJML 1.0 is a platform for Verification and Validation of Java classes
Xtu is a framework for implementing Platform specific xUML models
Raspberry Pi Projekt Multifunktions Wecker
Examples for the aXBench.
Code generation from UML to any language (Java, Objective-C, PHP...)