Interactive systems. design specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005: revised papers / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.