@TechReport{MEDUSA2nd, author = "Alexander Nyßen and Horst Lichter", title = "The MeDUSA Reference Manual, Second Edition", institution = "RWTH Aachen University", year = "2008", number = "AIB-2008-07", month = july, url = "http://aib.informatik.rwth-aachen.de/2008/2008-07.pdf", }