@inproceedings{Shojaei:codes+isss08,
        author     = {Hamid Shojaei and Twan Basten and Marc Geilen and Phillip Stanley-Marbell},
        title     = {SPaC: a symbolic pareto calculator},
        booktitle = "International Conference on Hardware-Software Codesign and System Synthesis, CODES+ISSS 2008",
        pages   = {179--184},
        year      = "2008"
}