Modeling and Analysis of Real Time and Embedded systems
Writing
Eclipse
Papyrus
Unified Modeling Language