PMU TI-VDM2 project. Agenda Proposed class diagram • Thread Identification • Communication channels • Synchronization • Stimuli • Open issues.