@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",
}

@article{jerraya,
    author = "A. Jerraya and M. Romdhani and P. Le Marrec and F. Hessel and P. Coste
    and C. Valderrama and G. Marchioro and J. Daveau and N. Zergainoh",
    title = "Multilanguage Specification for System Design and Codesign",
    text = "A.A. Jerraya, M. Romdhani, Ph. Le Marrec, F. Hessel, P. Coste, C. Valderrama,
    G.F. Marchioro, J.M. Daveau, and N.-E. Zergainoh. Multilanguage Specification
    for System Design and Codesign. In System Level Synthesis , NATO ASI",
    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",
    text = "D. D. Gajski and F. Vahid, Specification and design of embedded software-hardware
        systems, IEEE Design & Test of Computers, vol. 12, no. 1, Spring 1995.",
    year = "1995",
    url = "citeseer.nj.nec.com/gajski95specification.html"
}

@InProceedings{CODES01*17,
    author =       "Alessandro Fin and Franco Fummi and Maurizio
                    Martignano and Mirko 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{DaFJ97,
    address =      "Toledo, Spain",
    author =       "{G. Fernandes Marchioro} and {J.-M. Daveau} and {A.A.
                    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={}
}