@book{yen,
    author = {Ti-Yen Yen and Wayne Wolf},
    title = {Hardware-Software Co-Synthesis of Distributed Embedded Systems},
    year = {1996},
    isbn = {0792397975},
    publisher = "Kluwer Academic Publishers",
}

@BOOK{wolf,
  AUTHOR =       {Wayne Wolf},
  TITLE =        {Computers as components: principles of embedded computing system design},
  PUBLISHER =    "Academic Press",
  YEAR =         {2001},
  isbn = {155860-541X}
}


@inbook{jerraya,
    author = "A. A. Jerraya and M. Romdhani and Ph. Le Marrec and F. Hessel and P. Coste
    and C. Valderrama and G. F. Marchioro and J. M. Daveau and N.-E. Zergainoh",
    title = "Multilanguage Specification for System Design and Codesign",
    url = "citeseer.nj.nec.com/283545.html",
    booktitle = {System-level Synthesis},
    year = "1999",
    publisher = {Kluwer academic Publishers}
}

@inproceedings{mooney,
    author = {Vincent J. {Mooney III} and Giovanni {De Micheli} },
    title = {Real time analysis and priority scheduler generation for hardware-software systems with a synthesized run-time system},
    booktitle = {Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design},
    year = {1997},
    isbn = {0-8186-8200-0},
    pages = {605--612},
    location = {San Jose, California, United States},
    publisher = {IEEE Computer Society},
}

@article{ gajski95specification,
    author = "D. Gajski and F. Vahid",
    title = "Specification and design of embedded software-hardware systems",
    year = "1995",
    journal = {IEEE Design \& Test of Computers},
    volume = "12",
    number = "1",
    url = "citeseer.nj.nec.com/gajski95specification.html"
}

@article{Thomas,
    author = "Donald E. Thomas and Jay K. Adams and Herman Schmit",
    title = "{A} Model and Methodology for Hardware-Software Codesign",
    year = "1993",
    journal = {IEEE Design \& Test of Computers},
    month   = sep,
}

@InProceedings{CODES01*17,
    author =       "{A. Fin} and {F. Fummi} and {M.
                    Martignano} and {M. Signoretto}",
    title =        "{SystemC}: {A} Homogenous Environment to Test Embedded
                    Systems",
    pages =        "17--22",
    year =         "2001",
    month =        apr,
    booktitle =    "Proceedings of the Ninth International Symposium on Hardware/Software Codesign (CODES-01)",
    publisher =    "ACMPress"
}

@InProceedings{CODES01*18,
    author =       "{F. Slomka} and {M. D\"{o}rfel} and {R. M\"{u}nzenberger}",
    title =        "Generating Mixed Hardware/Software Systems from {SDL} Specifications",
    pages =        "116--121",
    year =         "2001",
    month =        apr,
    booktitle =    "Proceedings of the Ninth International Symposium on Hardware/Software Codesign (CODES-01)",
    publisher =    "ACMPress"
}

@InProceedings{Sander,
    author =       "{I. Sander} and {A. Jantsch}",
    title =        "System Synthesis Utilizing a Layered Functional Model",
    pages =        "136--140",
    year =         "1999",
    month =        may,
    booktitle =    "Proceedings of the Seventh International Workshop on Hardware/Software Codesign (CODES-99)",
    publisher =    "ACMPress",
    url =          "http://www.acm.org/sigs/sigda/Archives/ProceedingArchives/Codes/Codes99/papers/1999/codes99/pdffiles/5_5.pdf"
}

@InProceedings{Bates,
    author =       "{I. D. Bates} and {E. G. Chester} and {D. J. Kinniment}",
    title =        "A Statechard Based {HW}/{SW} Codesign System",
    pages =        "162--166",
    year =         "1999",
    month =        may,
    booktitle =    "Proceedings of the Seventh International Workshop on Hardware/Software Codesign (CODES-99)",
    publisher =    "ACMPress"
}

@InProceedings{DaFJ97,
    address =      "Toledo, Spain",
    author =       "Jean-Marc Daveau and Gilberto Fernandes Marchioro and Ahmed Amine
                    Jerraya",
    booktitle =    "Hardware Description Languages and their Applications
                    (CHDL '97)",
    editor =       "{C. Delgado Kloos} and {E. Cerny}",
    key =          "DaFJ97",
    keyword =      "conference",
    month =        apr,
    organization = "IFIP WG 10.5",
    publisher =    "Chapman and Hall",
    title =        "{VHDL} generation from {SDL} specification",
    year =         "1997",
}

@inproceedings{NPK+02,
    author="{C. A. Marcon} and {F. P. Hessel} and {A. M. Amory} and {L. H. L. Ries} and {F. G. Moraes} and {N. L. V. Calazans}",
    title={Prototyping of Embedded Digital Systems from SDL Language: a Case Study},
    booktitle={Proc. Seventh Annual IEEE International Workshop on High Level Design Validation and Test},
    year={2002},
    editor={},
    pages={},
    organization={},
    publisher={},
    series={},
    volume={},
    month={},
    note={To appear},
    key={}
}
@TECHREPORT{Lee,
  AUTHOR =       {Edward A. Lee},
  TITLE =        "System-level Design methodology for Embedded Signal Processors",
  INSTITUTION =  "University of California at Berkeley",
  YEAR =         "1997",
  number =       "F33615-93-C-1317"
}