J. Lechner: "FSL Tool"; Supervisor: M. Delvai; Institut f. Technische Informatik, Embedded Computing Systems Group, 2008.