Modeling embedded processors and generating fast simulators using the machine description language LISA. - Stefan Leo Alexander Pees (2002)