A UML2 Profile for Reusable and Verifiable Software Components for Real-Time Applications.

Vaclav Cechticky, Martin Egli, Alessandro Pasetti, O. Rohlik, Tullio Vardanega

Browse the full ICSR paper archive.