@ARTICLE\{IMM1997-01998, author = "J. Madsen and J. Grode and P. V. Knudsen and M. E. Petersen and A. Haxthausen", title = "LYCOS: The Lyngby Co-Synthesis System", year = "1997", pages = "195 - 236", journal = "Design Automation of Embedded Systems", volume = "2", editor = "", number = "2", publisher = "", url = "http://www2.compute.dtu.dk/pubdb/pubs/1998-full.html" }