Vincenzo Trignano: Virtual prototyping of embedded real-time systems. University of Sussex, UK 2005