R. Gallo: "Revision and Verification of an Enhanced UART"; Supervisor: M. Delvai, A. Steininger; Technische Informatik, E182/2, 2005; final examination: 2005.