@CONFERENCE\{IMM2007-05181,
    author       = "J. Elleb{\ae}k and K. S. Knudsen and A. Brekling and M. R. Hansen and J. Madsen",
    title        = "{MOVES} - A tool for Modeling and Verification of Embedded Systems",
    year         = "2007",
    month        = "apr",
    booktitle    = "DATE'07 University Booth",
    volume       = "",
    series       = "",
    editor       = "",
    publisher    = "",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/5181-full.html",
    abstract     = "We demonstrate {MOVES,} a tool which allows designers of embedded systems to explore possible implementations early in the design process. 
The demonstration of {MOVES} will show how designers can explore different designs by changing the mapping of tasks on processing elements, the number and/or speed of processing elements, the size of local memories, and the operating systems (scheduling algorithm)."
}