Software and System Development using Virtual Platforms - Aarno, Daniel; Engblom, Jakob (Burlington Morgan Kaufmann, 2014)