1. The Object Primer: Agile Model Driven Development with UML 2;Ambler,2004
2. T. Joochim, Timing diagrams add Requirements Engineering capability to Event-B Formal Development, Technical Report UNSPECIFIED, DSSE Group, Electronics and Computer Science, Southampton University, 2008.
3. OMG, UML Superstructure Specification v2.2. .
4. Digital Design – Principles and Practices;Wakerly,2005
5. P. Moeschler, H.P. Amann, F. Pellandini, High-level modeling using extended timing diagrams – a formalism for the behavioral specification of digital hardware, in: Design Automation Conference, EURO-VHDL ’93, Proceedings EURO-DAC ’93, European, 20–24 September 1993, pp. 494–499.